diff options
| -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 }} |