Skip to content

Commit e487834

Browse files
committed
stop ignoring MIRI runs
1 parent ce964ba commit e487834

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
@@ -374,9 +374,7 @@ jobs:
374374
MIRIFLAGS: "-Zmiri-disable-isolation"
375375
run: |
376376
cargo miri setup
377-
cargo clean
378-
# Ignore MIRI errors until we can get a clean run
379-
cargo miri test || true
377+
cargo miri test
380378
381379
# Check answers are correct when hash values collide
382380
hash-collisions:

0 commit comments

Comments
 (0)