Skip to content

Commit

Permalink
ci: install capnp in unsoundness check (#1577)
Browse files Browse the repository at this point in the history
miri check currently failing because of this

working run: https://github.com/CQCL/hugr/actions/runs/11295167361
  • Loading branch information
ss2165 authored Oct 14, 2024
1 parent 3d7405c commit b988695
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .github/workflows/unsoundness.yml
Original file line number Diff line number Diff line change
Expand Up @@ -34,5 +34,7 @@ jobs:
- uses: Swatinem/rust-cache@v2
with:
prefix-key: v0-miri
- name: Install CapnProto
run: sudo apt-get install -y capnproto
- name: Test with Miri
run: cargo miri test

0 comments on commit b988695

Please sign in to comment.