Skip to content

Commit 60c9b46

Browse files
hjr3seanmonstar
authored andcommitted
chore(ci): run miri tests
1 parent 0a9c8ad commit 60c9b46

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed

.github/workflows/ci.yml

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -79,3 +79,19 @@ jobs:
7979

8080
- name: Check
8181
run: cargo check --target wasm32-unknown-unknown
82+
83+
miri:
84+
name: Miri
85+
runs-on: ubuntu-latest
86+
87+
steps:
88+
- name: Checkout
89+
uses: actions/checkout@v3
90+
91+
- name: Install Rust
92+
uses: dtolnay/rust-toolchain@nightly
93+
with:
94+
components: miri
95+
96+
- name: Test
97+
run: MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-ignore-leaks" cargo miri test

0 commit comments

Comments
 (0)