From 8cb34498eceef231927c444507b6787128c5f0d8 Mon Sep 17 00:00:00 2001
From: Nathan Ringo <nathan@remexre.com>
Date: Sun, 1 Sep 2024 20:49:26 -0500
Subject: Move everything over to the new organization.

---
 nix/miri.nix | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'nix/miri.nix')

diff --git a/nix/miri.nix b/nix/miri.nix
index 5a8c39d..73a7e81 100644
--- a/nix/miri.nix
+++ b/nix/miri.nix
@@ -12,11 +12,6 @@ pkgs.writeShellApplication {
   name = "cargo-miri";
   runtimeInputs = [ rust-nightly-toolchain ];
   text = ''
-    set -x
-    # https://github.com/proptest-rs/proptest/issues/253#issuecomment-1850534278
-    : "''${PROPTEST_DISABLE_FAILURE_PERSISTENCE:=true}"
-    : "''${MIRIFLAGS:=-Zmiri-env-forward=PROPTEST_DISABLE_FAILURE_PERSISTENCE}"
-    export PROPTEST_DISABLE_FAILURE_PERSISTENCE MIRIFLAGS
     exec cargo "$@"
   '';
 }
-- 
cgit v1.2.3