From 85047838b60512fe99c69953be74fad391d7c233 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 23 Apr 2021 16:45:41 +0200 Subject: [PATCH] fix Miri flag passing --- .github/workflows/test.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 222f55da..b6d72b7a 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -129,4 +129,4 @@ jobs: cargo miri test --manifest-path rand_isaac/Cargo.toml --all-features cargo miri test --manifest-path rand_xorshift/Cargo.toml --all-features cargo miri test --manifest-path rand_xoshiro/Cargo.toml --all-features - cargo miri test --manifest-path rand_jitter/Cargo.toml -- -Zmiri-disable-isolation + MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test --manifest-path rand_jitter/Cargo.toml