diff options
| author | Nathan Ringo <nathan@remexre.com> | 2024-09-01 20:49:26 -0500 |
|---|---|---|
| committer | Nathan Ringo <nathan@remexre.com> | 2024-09-01 20:49:26 -0500 |
| commit | 8cb34498eceef231927c444507b6787128c5f0d8 (patch) | |
| tree | 0fadd76c82b88d22f993d2333e56a9200f656012 /nix | |
| parent | 386df39c9866a4d945de46ef0dcab2363c674e0e (diff) | |
Move everything over to the new organization.
Diffstat (limited to 'nix')
| -rw-r--r-- | nix/miri.nix | 5 |
1 files changed, 0 insertions, 5 deletions
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 "$@" ''; } |