Skip to content

Commit 139ef7c

Browse files
dzfranklindwrensha
authored andcommitted
Run miri in ci
I chose to limit the tests run to capnp and capnpc-test relatively arbitrarily. The tests in capnp-rpc and capnp-futures took a long time to run under miri.
1 parent 6d57ded commit 139ef7c

File tree

1 file changed

+33
-0
lines changed

1 file changed

+33
-0
lines changed

.github/workflows/ci.yml

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -59,6 +59,39 @@ jobs:
5959
- name: Run benchmark
6060
run: ./target/release/run_all_benchmarks target/release/benchmark
6161

62+
miri:
63+
name: "Miri"
64+
runs-on: ubuntu-latest
65+
66+
steps:
67+
- uses: actions/checkout@v3
68+
- uses: actions-rs/toolchain@v1
69+
with:
70+
profile: minimal
71+
toolchain: nightly
72+
override: true
73+
components: miri
74+
75+
- name: Setup miri
76+
run: cargo miri setup
77+
78+
- name: Install Cap'n Proto
79+
run: |
80+
export DEBIAN_FRONTEND=noninteractive
81+
sudo apt-get install -y capnproto libcapnp-dev
82+
83+
- name: Test default features
84+
run: cargo miri test --package capnp --package capnpc-test
85+
86+
- name: Test no default features
87+
run: cargo miri test --package capnp --package capnpc-test --no-default-features
88+
89+
- name: Test sync_reader
90+
run: cargo miri test --package capnp --package capnpc-test --features sync_reader
91+
92+
- name: Test unaligned
93+
run: cargo miri test --package capnp --package capnpc-test --features unaligned
94+
6295
minrust:
6396
name: minrust
6497
runs-on: ubuntu-latest

0 commit comments

Comments
 (0)