From f00b8203b64a6e51f379820fd3cbac0326276aa8 Mon Sep 17 00:00:00 2001 From: Philipp Oppermann Date: Sat, 30 Mar 2024 10:18:41 +0100 Subject: [PATCH] Remove stabilized miri flags Flag removed in https://github.com/rust-lang/miri/pull/3339 --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 9b3115b..5a147c4 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -135,7 +135,7 @@ jobs: name: "Miri tests" runs-on: ubuntu-latest env: - MIRIFLAGS: "-Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-tag-raw-pointers" + MIRIFLAGS: "-Zmiri-disable-isolation -Zmiri-strict-provenance" steps: - uses: actions/checkout@v1 - run: rustup toolchain install nightly --profile minimal --component rust-src miri