Merge pull request #464 from DropDemBits/miri-ci

Add miri to CI
salsa-rs · Mar 11, 2024 · 4a13020 · 4a13020
2 parents f1d318a + 407d6bc
commit 4a13020
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git 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
@@ -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"