Rewrite type system and compiler (v4) #407
Job | Run time |
---|---|
18s | |
14s | |
42s | |
1m 34s | |
1m 10s | |
28s | |
29s | |
37s | |
1m 16s | |
2m 40s | |
2m 22s | |
1m 24s | |
1m 15s | |
1m 41s | |
0s | |
0s | |
16m 10s |
Job | Run time |
---|---|
18s | |
14s | |
42s | |
1m 34s | |
1m 10s | |
28s | |
29s | |
37s | |
1m 16s | |
2m 40s | |
2m 22s | |
1m 24s | |
1m 15s | |
1m 41s | |
0s | |
0s | |
16m 10s |