Merge pull request #72 from Luro02/ci

Remove miri from ci
sile · Oct 1, 2021 · f5ddfed · f5ddfed
2 parents aa4728a + 1c31d38
commit f5ddfed
Showing 1 changed file with 0 additions and 16 deletions.
diff --git 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