From 51b90fca4f156983b631a29634019eff77111d0a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Agust=C3=ADn=20Borgna?= <121866228+aborgna-q@users.noreply.github.com> Date: Mon, 17 Jun 2024 09:04:28 +0100 Subject: [PATCH] Update justfile Co-authored-by: doug-q <141026920+doug-q@users.noreply.github.com> --- justfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/justfile b/justfile index 7f0d752eb..f7f52f2f0 100644 --- a/justfile +++ b/justfile @@ -42,7 +42,7 @@ coverage language="[rust|python]": (_run_lang language \ "poetry run pytest --cov=./ --cov-report=html" ) -# Run undsoundness checks using miri +# Run unsoundness checks using miri miri: PROPTEST_DISABLE_FAILURE_PERSISTENCE=true MIRIFLAGS='-Zmiri-env-forward=PROPTEST_DISABLE_FAILURE_PERSISTENCE' cargo +nightly miri test