From 7d0a5fe85cb3b16070775d8abb3d75bb7186ffa6 Mon Sep 17 00:00:00 2001 From: Maarten de Vries Date: Fri, 13 Dec 2024 13:18:59 +0100 Subject: [PATCH] Run miri in CI. --- .github/workflows/rust.yml | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index bd12368..ab69fe7 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -19,17 +19,15 @@ jobs: key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }} restore-keys: ${{ runner.os }}-cargo - 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: Install miri + run: rustup +nightly component add miri + - name: Run miri + run: cargo +nightly miri test --workspace --all-targets --features indexmap,json,toml,yaml --color=always