From f2b0d3b9f3a7cefd7a368d5319da38e62e4c8890 Mon Sep 17 00:00:00 2001 From: Deukhoofd Date: Mon, 2 Jan 2023 10:52:44 +0100 Subject: [PATCH] Remove miri CI tests --- .drone.yml | 8 -------- 1 file changed, 8 deletions(-) diff --git a/.drone.yml b/.drone.yml index 1189acc..869adb9 100755 --- a/.drone.yml +++ b/.drone.yml @@ -14,14 +14,6 @@ steps: - cargo test --release --color=always -- --test-threads=1 depends_on: - 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: - - test-debug-linux - name: test-coverage image: deukhoofd/linux64builder commands: