CI: run test suite in Miri (#456)

2026-07-18 16:24:29 -04:00 · 2020-12-29 22:54:48 +01:00
parent ab9d9aa32c
commit c061be06e7
4 changed files with 24 additions and 3 deletions
@@ -123,6 +123,13 @@ jobs:
        run: rustup component add rust-src
      - name: ASAN / TSAN
        run: . ci/tsan.sh
+  miri:
+    name: miri
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - name: Miri
+        run: ci/miri.sh

  # Loom
  loom: