ci: Use -Zmiri-many-seeds on schedule job #3782
ci.yml
on: push
tidy
/
tidy
1m 1s
check-external-types
/
check-external-types
23s
deny
/
deny
16s
docs
/
docs
31s
codegen
23s
valgrind
10m 52s
Matrix: build
Matrix: miri
Matrix: no-std
Matrix: san
Matrix: test-bsd
Matrix: test
Matrix: msrv / build
Annotations
82 errors and 54 warnings