chore: Add Miri workflow #1485
Job | Run time |
---|---|
25m 38s | |
1h 4m 26s | |
41m 23s | |
44m 32s | |
57m 51s | |
25m 38s | |
43m 59s | |
26m 11s | |
1h 7m 42s | |
46m 44s | |
49m 31s | |
1h 3m 38s | |
27m 3s | |
41m 12s | |
10h 25m 28s |
Job | Run time |
---|---|
25m 38s | |
1h 4m 26s | |
41m 23s | |
44m 32s | |
57m 51s | |
25m 38s | |
43m 59s | |
26m 11s | |
1h 7m 42s | |
46m 44s | |
49m 31s | |
1h 3m 38s | |
27m 3s | |
41m 12s | |
10h 25m 28s |