Skip to content

Commit 3f45930

Browse files
committed
Set miriflags once for whole miri job
1 parent c79d9ad commit 3f45930

File tree

1 file changed

+2
-4
lines changed

1 file changed

+2
-4
lines changed

.github/workflows/ci.yml

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -73,17 +73,15 @@ jobs:
7373
miri:
7474
name: Miri
7575
runs-on: ubuntu-latest
76+
env:
77+
MIRIFLAGS: "-Zmiri-tag-raw-pointers"
7678
steps:
7779
- uses: actions/checkout@v2
7880
- uses: dtolnay/rust-toolchain@nightly
7981
with:
8082
components: miri
8183
- run: cargo miri test
82-
env:
83-
MIRIFLAGS: "-Zmiri-tag-raw-pointers"
8484
- run: cargo miri test --features preserve_order,float_roundtrip,arbitrary_precision,raw_value
85-
env:
86-
MIRIFLAGS: "-Zmiri-tag-raw-pointers"
8785

8886
clippy:
8987
name: Clippy

0 commit comments

Comments
 (0)