parent
61c03c27d1
commit
61aff90cda
1 changed files with 1 additions and 1 deletions
2
.github/workflows/miri.yml
vendored
2
.github/workflows/miri.yml
vendored
|
|
@ -22,4 +22,4 @@ jobs:
|
|||
components: miri
|
||||
|
||||
- name: run miri
|
||||
run: MIRIFLAGS=-Zmiri-many-seeds=0..8 cargo +nightly miri test --all-targets
|
||||
run: MIRIFLAGS=-Zmiri-many-seeds=0..8 cargo +nightly miri test
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue