Merge pull request #1537 from clasp-developers/rebtb #1084
Job | Run time |
---|---|
59m 11s | |
2h 51m 50s | |
31m 47s | |
1h 54m 59s | |
1h 12m 43s | |
1h 24m 37s | |
35m 41s | |
56m 49s | |
10h 27m 37s |
Job | Run time |
---|---|
59m 11s | |
2h 51m 50s | |
31m 47s | |
1h 54m 59s | |
1h 12m 43s | |
1h 24m 37s | |
35m 41s | |
56m 49s | |
10h 27m 37s |