Type checker: Fixes #791 and #784 #3440
Job | Run time |
---|---|
21m 43s | |
26m 31s | |
0s | |
30m 6s | |
5m 16s | |
22m 34s | |
0s | |
3m 43s | |
5m 18s | |
5m 42s | |
12m 42s | |
17m 58s | |
8m 51s | |
12m 50s | |
0s | |
0s | |
0s | |
2h 53m 14s |
Job | Run time |
---|---|
21m 43s | |
26m 31s | |
0s | |
30m 6s | |
5m 16s | |
22m 34s | |
0s | |
3m 43s | |
5m 18s | |
5m 42s | |
12m 42s | |
17m 58s | |
8m 51s | |
12m 50s | |
0s | |
0s | |
0s | |
2h 53m 14s |