Add Miri flag on Windows & fix labels

alpha-tango-kilo · Dec 2, 2023 · 6881a7f · 6881a7f
1 parent fbedf44
commit 6881a7f
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -34,8 +34,10 @@ jobs:
           components: miri
       - name: Install cargo-hack
         uses: taiki-e/install-action@cargo-hack
-      - name: Ensure compilation & passing tests on all backends
+      - name: Run Miri tests on all backends
         shell: bash
+        env:
+          MIRIFLAGS: "-Zmiri-ignore-leaks"
         run: |
           cargo hack \
             --each-feature \
@@ -54,7 +56,7 @@ jobs:
           components: miri
       - name: Install cargo-hack
         uses: taiki-e/install-action@cargo-hack
-      - name: Ensure compilation & passing tests on all backends
+      - name: Run Miri tests on all backends
         shell: bash
         run: |
           cargo hack \