fix Miri CI

NamorNiradnug · Jan 6, 2024 · b1072d7 · b1072d7
1 parent 7357db8
commit b1072d7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -68,7 +68,8 @@ jobs:
           components: miri
       - uses: actions-rs/cargo@v1
         with:
-          command: test miri
+          command: miri
+          args: test
         env:
           RUSTFLAGS: -C target-feature=-sse4.1,-sse4.2,-avx,-avx2
           MIRIFLAGS: -Zmiri-symbolic-alignment-check