Rewrite type system and compiler (v4) #396
Job | Run time |
---|---|
30s | |
14s | |
37s | |
1m 14s | |
1m 14s | |
26s | |
24s | |
37s | |
1m 16s | |
2m 19s | |
2m 18s | |
1m 8s | |
1m 19s | |
1m 25s | |
0s | |
0s | |
15m 1s |
Job | Run time |
---|---|
30s | |
14s | |
37s | |
1m 14s | |
1m 14s | |
26s | |
24s | |
37s | |
1m 16s | |
2m 19s | |
2m 18s | |
1m 8s | |
1m 19s | |
1m 25s | |
0s | |
0s | |
15m 1s |