Run miri in CI.

fizyr · Dec 13, 2024 · 2d24022 · 2d24022
1 parent aed06d1
commit 2d24022
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -21,15 +21,13 @@ jobs:
       - name: Build
         uses: actions-rs/cargo@v1
         with:
-          command: build
-          args: --workspace --all-targets --features indexmap,json,toml,yaml --color=always
+        run: cargo +stable build --workspace --all-targets --features indexmap,json,toml,yaml --color=always
       - name: Test
-        uses: actions-rs/cargo@v1
-        with:
-          command: test
-          args: --workspace --all-targets --features indexmap,json,toml,yaml --color=always
+        run: cargo +stable test --workspace --all-targets --features indexmap,json,toml,yaml --color=always
       - name: Clippy
         uses: actions-rs/clippy-check@v1
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
           args: --workspace --all-targets --features indexmap,json,toml,yaml
+      - name: Miri
+        run: cargo +nightly miri test --workspace --all-targets --features indexmap,json,toml,yaml --color=always