diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index dcee66c..a3f4891 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -50,19 +50,3 @@ jobs: with: command: fmt args: --all -- --check - - miri: - name: miri - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v2 - - name: Install Miri - run: | - MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri) - echo "Installing latest nightly with Miri: $MIRI_NIGHTLY" - rustup set profile minimal - rustup default "$MIRI_NIGHTLY" - rustup component add miri - - uses: Swatinem/rust-cache@v1 - - name: Run Tests - run: cargo miri test