Merge branch 'master' into type-level-mccabe #17
Job | Run time |
---|---|
15m 23s | |
12m 13s | |
16m 29s | |
11m 50s | |
52m 19s | |
1h 31m 30s | |
53m 0s | |
2h 38m 33s | |
0s | |
0s | |
6h 51m 17s |
Job | Run time |
---|---|
15m 23s | |
12m 13s | |
16m 29s | |
11m 50s | |
52m 19s | |
1h 31m 30s | |
53m 0s | |
2h 38m 33s | |
0s | |
0s | |
6h 51m 17s |