Finalize singletons-{th,base}-3.3 #232
Job | Run time |
---|---|
1m 48s | |
8m 34s | |
3m 48s | |
2m 52s | |
2m 51s | |
2m 25s | |
2m 10s | |
1m 33s | |
1m 31s | |
1m 29s | |
1m 46s | |
1m 30s | |
32m 17s |
Job | Run time |
---|---|
1m 48s | |
8m 34s | |
3m 48s | |
2m 52s | |
2m 51s | |
2m 25s | |
2m 10s | |
1m 33s | |
1m 31s | |
1m 29s | |
1m 46s | |
1m 30s | |
32m 17s |