Merge pull request #464 from DropDemBits/miri-ci

Add miri to CI
This commit is contained in:
Niko Matsakis 2024-03-11 09:57:07 +00:00 committed by GitHub
commit 4a13020e61
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 14 additions and 1 deletions

View file

@ -63,3 +63,16 @@ jobs:
with:
command: check
args: --no-default-features
miri:
name: "Miri"
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install Miri
run: |
rustup toolchain install nightly --component miri
rustup override set nightly
cargo miri setup
- name: Test with Miri
run: cargo miri test --no-fail-fast -p salsa-2022 -p salsa-2022-tests -p calc -p lazy-input

View file

@ -11,7 +11,7 @@ dashmap = "5.3.4"
rustc-hash = "1.1.0"
indexmap = "2"
hashlink = "0.8.0"
arc-swap = "1.4.0"
arc-swap = "1.6.0"
crossbeam-utils = { version = "0.8", default-features = false }
log = "0.4.5"
parking_lot = "0.12.1"