Add miri
checks
#1713
Job | Run time |
---|---|
40s | |
1m 31s | |
1m 54s | |
1m 58s | |
1m 39s | |
1m 59s | |
1m 46s | |
2m 45s | |
3m 16s | |
6m 38s | |
7m 46s | |
1m 22s | |
1m 22s | |
1m 14s | |
1m 12s | |
1m 11s | |
1m 14s | |
42s | |
25s | |
1m 29s | |
3m 16s | |
2m 0s | |
0s | |
6m 5s | |
0s | |
1s | |
53m 25s |