Skip to content

Commit f00b820

Browse files
committed
Remove stabilized miri flags
Flag removed in rust-lang/miri#3339
1 parent d3d877e commit f00b820

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/build.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -135,7 +135,7 @@ jobs:
135135
name: "Miri tests"
136136
runs-on: ubuntu-latest
137137
env:
138-
MIRIFLAGS: "-Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-tag-raw-pointers"
138+
MIRIFLAGS: "-Zmiri-disable-isolation -Zmiri-strict-provenance"
139139
steps:
140140
- uses: actions/checkout@v1
141141
- run: rustup toolchain install nightly --profile minimal --component rust-src miri

0 commit comments

Comments
 (0)