Update .gitlab-ci.yml file

This commit is contained in:
François Autin 2023-03-22 14:47:56 +00:00
parent e0e92fea3a
commit 6571838263

View File

@ -16,7 +16,7 @@ unsafe-test-job:
- echo "Checking if List is still safe" - echo "Checking if List is still safe"
- rustup +nightly component add miri - rustup +nightly component add miri
- export MIRIFLAGS="-Zmiri-disable-isolation" - export MIRIFLAGS="-Zmiri-disable-isolation"
- cargo +nightly miri test - cargo +nightly miri test utility::list::test
only: only:
changes: changes:
- "src/utility/list.rs" - "src/utility/list.rs"