Skip to content

Commit 3057362

Browse files
workingjubileembrubeck
authored andcommitted
Stop passing tag-raw-ptrs to MIRIFLAGS
For a while it has been a do-nothing option that has finally been removed.
1 parent f6665a5 commit 3057362

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

.github/workflows/main.yml

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -75,8 +75,6 @@ jobs:
7575
- name: miri
7676
if: matrix.toolchain == 'nightly' && matrix.os == 'ubuntu-latest'
7777
run: bash ./scripts/run_miri.sh
78-
env:
79-
MIRIFLAGS: '-Zmiri-tag-raw-pointers'
8078

8179
- name: fuzz
8280
if: matrix.fuzz == 1

0 commit comments

Comments
 (0)