Rewrite type system and compiler (v4) #405
Job | Run time |
---|---|
17s | |
20s | |
28s | |
1m 15s | |
1m 9s | |
29s | |
28s | |
29s | |
1m 29s | |
2m 19s | |
2m 44s | |
1m 21s | |
1m 11s | |
1m 22s | |
0s | |
0s | |
15m 21s |
Job | Run time |
---|---|
17s | |
20s | |
28s | |
1m 15s | |
1m 9s | |
29s | |
28s | |
29s | |
1m 29s | |
2m 19s | |
2m 44s | |
1m 21s | |
1m 11s | |
1m 22s | |
0s | |
0s | |
15m 21s |