Skip to content

Commit a864c3e

Browse files
committed
stop ignoring MIRI runs
1 parent c0744e8 commit a864c3e

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

.github/workflows/rust.yml

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -379,9 +379,7 @@ jobs:
379379
MIRIFLAGS: "-Zmiri-disable-isolation"
380380
run: |
381381
cargo miri setup
382-
cargo clean
383-
# Ignore MIRI errors until we can get a clean run
384-
cargo miri test || true
382+
cargo miri test
385383
386384
# Check answers are correct when hash values collide
387385
hash-collisions:

0 commit comments

Comments
 (0)