From 94403e2ca10942cd15a94f161f72424b64d0cc5c Mon Sep 17 00:00:00 2001
From: Deukhoofd <Deukhoofd@gmail.com>
Date: Fri, 17 Jun 2022 20:42:58 +0200
Subject: [PATCH] Disable Miri isolation in CI

---
 .drone.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.drone.yml b/.drone.yml
index ac37811..3272d05 100644
--- a/.drone.yml
+++ b/.drone.yml
@@ -16,6 +16,8 @@ steps:
       - test-debug-linux
   - name: test-miri-release-linux
     image: deukhoofd/linux64builder
+    environment:
+      MIRIFLAGS: -Zmiri-disable-isolation
     commands:
       - cargo miri test --release --color=always
     depends_on: