diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index e0fc16c7..e87fb377 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -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 diff --git a/components/salsa-2022/Cargo.toml b/components/salsa-2022/Cargo.toml index 9c4ddd3c..f179a6bd 100644 --- a/components/salsa-2022/Cargo.toml +++ b/components/salsa-2022/Cargo.toml @@ -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"