Skip to content

Commit b1072d7

Browse files
committed
fix Miri CI
1 parent 7357db8 commit b1072d7

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

.github/workflows/ci.yaml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -68,7 +68,8 @@ jobs:
6868
components: miri
6969
- uses: actions-rs/cargo@v1
7070
with:
71-
command: test miri
71+
command: miri
72+
args: test
7273
env:
7374
RUSTFLAGS: -C target-feature=-sse4.1,-sse4.2,-avx,-avx2
7475
MIRIFLAGS: -Zmiri-symbolic-alignment-check

0 commit comments

Comments
 (0)