Skip to content

Commit

Permalink
try permissive provenance sigh
Browse files Browse the repository at this point in the history
  • Loading branch information
workingjubilee committed Jul 15, 2024
1 parent 4c407f3 commit 468ae32
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -265,4 +265,4 @@ jobs:
rustup toolchain install nightly --component miri
rustup override set nightly
cargo miri setup
- run: MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test
- run: MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-permissive-provenance" cargo miri test

0 comments on commit 468ae32

Please sign in to comment.