Rewrite type system and compiler (v4) #351
Job | Run time |
---|---|
30s | |
21s | |
27s | |
1m 8s | |
32s | |
34s | |
32s | |
1m 13s | |
2m 30s | |
58s | |
1m 3s | |
1m 19s | |
0s | |
0s | |
11m 7s |
Job | Run time |
---|---|
30s | |
21s | |
27s | |
1m 8s | |
32s | |
34s | |
32s | |
1m 13s | |
2m 30s | |
58s | |
1m 3s | |
1m 19s | |
0s | |
0s | |
11m 7s |