Skip to content

Commit

Permalink
Update justfile
Browse files Browse the repository at this point in the history
Co-authored-by: doug-q <[email protected]>
  • Loading branch information
aborgna-q and doug-q authored Jun 17, 2024
1 parent 8ad32d8 commit 51b90fc
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion justfile
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit 51b90fc

Please sign in to comment.