ci: Use -Zmiri-many-seeds on scheduled job #2926
Job | Run time |
---|---|
1m 42s | |
1m 49s | |
1m 49s | |
1m 58s | |
1m 54s | |
2m 4s | |
1m 49s | |
1m 3s | |
2m 36s | |
1m 16s | |
18s | |
2m 33s | |
4m 16s | |
2m 13s | |
4s | |
4s | |
1m 6s | |
2m 5s | |
2m 40s | |
1m 31s | |
1m 20s | |
1m 51s | |
1m 8s | |
1m 20s | |
2m 6s | |
2m 27s | |
1m 39s | |
2m 16s | |
48m 57s |