diff options
| author | Ralf Jung <post@ralfj.de> | 2022-03-11 21:14:52 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-11 18:14:52 -0800 |
| commit | b6ee5293f43a6e9ec1c0d977a4037462bd4d02ca (patch) | |
| tree | 4c41eacbb2905c4bbf0697e390f74fc517fbade3 | |
| parent | 86b9f69622badf863df71993e8b1e3468cf92eeb (diff) | |
rust-lang/portable-simd#259: remove Miri from CI
| -rw-r--r-- | .github/workflows/ci.yml | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 54d74764790..d50dfa1be4c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -58,23 +58,6 @@ jobs: - name: Run Clippy run: cargo clippy --all-targets --target ${{ matrix.target }} - miri: - name: "miri" - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v2 - - name: Install Miri - run: | - rustup toolchain install nightly --component miri - rustup override set nightly - cargo miri setup - - name: Test with Miri (failures allowed) - continue-on-error: true - run: | - cargo miri test --test i32_ops - cargo miri test --test f32_ops - cargo miri test --test cast - x86-tests: name: "${{ matrix.target_feature }} on ${{ matrix.target }}" runs-on: ${{ matrix.os }} |