💚 Updated CI to test safety of list mod

This commit is contained in:
François Autin 2023-03-22 15:18:20 +01:00
parent da37e0657c
commit e0e92fea3a
No known key found for this signature in database
GPG Key ID: 343F5D382E1DD77C

View File

@ -10,9 +10,21 @@ unit-test-job:
- echo "Running unit tests..."
- cargo test
unsafe-test-job:
stage: test
script:
- echo "Checking if List is still safe"
- rustup +nightly component add miri
- export MIRIFLAGS="-Zmiri-disable-isolation"
- cargo +nightly miri test
only:
changes:
- "src/utility/list.rs"
lint-test-job:
only:
- merge_requests
refs:
- merge_requests
stage: test
script:
- echo "Linting code..."