From 1b67df16223747fd5ed335b0129806180dcf45d8 Mon Sep 17 00:00:00 2001
From: Aphek <bilkow@tutanota.com>
Date: Fri, 2 Oct 2020 01:57:23 -0300
Subject: [PATCH] Remove unneded setup instruction for miri

---
 .github/workflows/ci.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ea91ef1..1b13daf 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -39,5 +39,4 @@ jobs:
       - uses: dtolnay/rust-toolchain@nightly
         with:
           components: miri
-      - run: cargo miri setup
       - run: cargo miri test