diff options
| author | Caleb Zulawski <caleb.zulawski@gmail.com> | 2024-04-06 18:23:04 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-06 18:23:04 -0400 |
| commit | 48d411b2cc2e058eb0ed7d42e9e45f7064fe184f (patch) | |
| tree | 10fbf9d2980c10ea81e20e107e1c63cc22d9d6d1 | |
| parent | 53fe1a329a120c42bcb0d6231d9ed14326a204bc (diff) | |
| parent | 0d6e714830574ed8a8afba6719db4837ce3b6b96 (diff) | |
| download | rust-48d411b2cc2e058eb0ed7d42e9e45f7064fe184f.tar.gz rust-48d411b2cc2e058eb0ed7d42e9e45f7064fe184f.zip | |
Merge pull request #411 from RalfJung/miri
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 |