ci: relax MIRI restrictions, add tree borrows and run 8 random seeds #26
zetanumberspush-check.yml
on: push
Minimal supported version check
12s
Miri test
41s
Annotations
1 error
|
Miri test
Process completed with exit code 1.
|