ci: Fix miri proptest error (#1074)

Closes #1073.
CQCL · May 17, 2024 · fd90a2e · fd90a2e
1 parent e65b229
commit fd90a2e
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/unsoundness.yml b/.github/workflows/unsoundness.yml
@@ -14,7 +14,10 @@ env:
   CARGO_TERM_COLOR: always
   CARGO_INCREMENTAL: 0
   RUSTFLAGS: "--cfg=ci_run"
-  MIRIFLAGS: '-Zmiri-permissive-provenance' # Required due to warnings in bitvec 1.0.1
+  # Permissive provenance is required due to warnings in bitvec 1.0.1
+  # Proptest flags required to fix https://github.com/proptest-rs/proptest/issues/253
+  MIRIFLAGS: '-Zmiri-permissive-provenance -Zmiri-env-forward=PROPTEST_DISABLE_FAILURE_PERSISTENCE'
+  PROPTEST_DISABLE_FAILURE_PERSISTENCE: true
 
 jobs: