-
Notifications
You must be signed in to change notification settings - Fork 2
Closed
Description
With rust-lang/miri#1769 having landed, this way of passing Miri flags will soon stop working:
crunch-lang/.github/workflows/main.yml
Line 255 in e51945a
cargo +nightly miri test -- -Zmiri-disable-isolation |
This should now instead be
MIRIFLAGS="-Zmiri-disable-isolation" cargo +nightly miri test
Metadata
Metadata
Assignees
Labels
No labels