Merge branch 'typechecking-recovery' #875
Job | Run time |
---|---|
1m 3s | |
33s | |
39s | |
40s | |
42s | |
1m 5s | |
1m 5s | |
1m 4s | |
1m 5s | |
1m 4s | |
1m 9s | |
56s | |
40s | |
45s | |
47s | |
13m 17s |
Job | Run time |
---|---|
1m 3s | |
33s | |
39s | |
40s | |
42s | |
1m 5s | |
1m 5s | |
1m 4s | |
1m 5s | |
1m 4s | |
1m 9s | |
56s | |
40s | |
45s | |
47s | |
13m 17s |