Skip to content

Commit e03019e

Browse files
Update ci.yml
Restore `-p serial_test`
1 parent 820c0f3 commit e03019e

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

.github/workflows/ci.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -76,7 +76,7 @@ jobs:
7676
components: miri
7777
- uses: Swatinem/rust-cache@v2.2.1
7878
- name: Miri strict provenance
79-
run: cargo miri test --all-features -- --skip file_lock
79+
run: cargo miri test -p serial_test --all-features -- --skip file_lock
8080
env:
8181
MIRIFLAGS: -Zmiri-strict-provenance
8282

0 commit comments

Comments
 (0)