From 1c31d3835fd329734ab6873f961a9ca6828ceaf4 Mon Sep 17 00:00:00 2001
From: Lucas <24826124+Luro02@users.noreply.github.com>
Date: Fri, 1 Oct 2021 13:55:36 +0200
Subject: [PATCH] remove miri from ci

---
 .github/workflows/rust.yml | 16 ----------------
 1 file changed, 16 deletions(-)

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