Skip to content
This repository has been archived by the owner on May 3, 2024. It is now read-only.

Merge branch 'io-spec-in-Run' of https://github.com/mlimbeck/Verified… #86

Merge branch 'io-spec-in-Run' of https://github.com/mlimbeck/Verified…

Merge branch 'io-spec-in-Run' of https://github.com/mlimbeck/Verified… #86

Workflow file for this run

ci-success:
name: ci
if: ${{ success() }}
needs:
- exfmt
- test
runs-on: ubuntu-latest
steps:
- name: CI succeeded
run: exit 0