Skip to content

Commit

Permalink
revert change to test ci
Browse files Browse the repository at this point in the history
  • Loading branch information
@Noratrieb
Noratrieb committed Sep 6, 2022
1 parent e8b3e46 commit 84966c3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ci/miri.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,4 +9,4 @@ rustup toolchain install nightly --component miri
rustup override set nightly
cargo miri setup

MIRIFLAGS='-Zmiri-retag-fields' cargo miri test
cargo miri test # experiment

0 comments on commit 84966c3

Please sign in to comment.