Merge pull request #72 from Luro02/ci

Remove miri from ci

.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