From 350041326196d0abc095b78682f6f1bec452adb0 Mon Sep 17 00:00:00 2001 From: Boshen Date: Thu, 22 Feb 2024 15:58:29 +0800 Subject: [PATCH] revert miri change --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 07aedac..7ab9326 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -76,7 +76,7 @@ jobs: - name: Run tests with miri env: MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance - run: cargo miri test --all --verbose + run: cargo miri test --all --verbose --features fancy minimal_versions: name: Minimal versions check