From adb68ca28394e3c08ddad79ab87e738741d97bb6 Mon Sep 17 00:00:00 2001 From: Sean McArthur Date: Mon, 10 Jun 2024 09:48:49 -0400 Subject: [PATCH] ci: remove unstable miri option --- .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 cf76c75..61b7e9a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -183,7 +183,7 @@ jobs: override: true - name: Test - run: MIRIFLAGS="-Zmiri-tag-raw-pointers -Zmiri-check-number-validity" cargo miri test + run: MIRIFLAGS="-Zmiri-check-number-validity" cargo miri test # # mirai: # name: MIRAI static analysis