dzu/generic-array-storage
1
0
Fork 0
Code Issues Pull requests Wiki Activity Actions

Updated miri action to a new syntax

Browse source
This commit is contained in:
Dzuchun 2025-01-04 12:48:26 +02:00
commit e7d3f0173b
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/miri.yml vendored
View file

@ -22,4 +22,4 @@ jobs:
components: miri
- name: run miri
run: cargo +nightly miri test --many-seeds=0..8
run: MIRIFLAGS=-Zmiri-many-seeds=0..8 cargo +nightly miri test