diff options
| author | Ralf Jung <post@ralfj.de> | 2024-04-06 22:13:18 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-04-06 22:20:32 +0200 |
| commit | 0d6e714830574ed8a8afba6719db4837ce3b6b96 (patch) | |
| tree | 10fbf9d2980c10ea81e20e107e1c63cc22d9d6d1 | |
| parent | 53fe1a329a120c42bcb0d6231d9ed14326a204bc (diff) | |
| download | rust-0d6e714830574ed8a8afba6719db4837ce3b6b96.tar.gz rust-0d6e714830574ed8a8afba6719db4837ce3b6b96.zip | |
run Miri tests on CI
| -rw-r--r-- | .github/workflows/ci.yml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b292be2d6f9..a49cfa44a74 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -273,3 +273,15 @@ jobs: run: | echo "Found AVX features: $CPU_FEATURE" RUSTFLAGS="-Dwarnings -Ctarget-feature=$CPU_FEATURE" cargo test --all-targets --no-default-features ${{ matrix.features }} + + miri: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + - name: Setup Rust + run: | + rustup update nightly --no-self-update + rustup default nightly + rustup component add miri rust-src + - name: Test (Miri) + run: cargo miri test |