From fd90a2e8fb69d8c07c051d7f10ee8ce81be775eb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Agust=C3=ADn=20Borgna?=
 <121866228+aborgna-q@users.noreply.github.com>
Date: Fri, 17 May 2024 13:53:48 +0100
Subject: [PATCH] ci: Fix miri proptest error (#1074)

Closes #1073.
---
 .github/workflows/unsoundness.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/unsoundness.yml b/.github/workflows/unsoundness.yml
index fa1721d51..3d4491cf7 100644
--- 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: