Overhaul CI strategy #142
Overhaul CI strategy #142
Conversation
…pemax(Int); round down to typemax(Int) instead of erroring
…eding typemax(Int); round down to typemax(Int) instead of erroring" This reverts commit d87265e.
…eeding typemax(Int); round down to typemax(Int) instead of erroring" This reverts commit 2631cca.
… and exceeding typemax(Int); round down to typemax(Int) instead of erroring"" This reverts commit c3f2214.
…eeding typemax(Int); round down to typemax(Int) instead of erroring" This reverts commit 8cb9bce.
|
The testset "Long runtime budget doesn't throw right away" failed on a8dfc4c |
|
6ac0d78, as advertised, fixes this. As demonstrated by the CI results passing afterword and the testset tests for it as demonstrated by it failing before. |
|
Total usage over the last 6 runs: 1h 58m 43s It seems that caching is not saving any time. I'll remove it. We can consider reinstating caching if there are new features or improved performance and we can demonstrate measurable savings. |
|
Total usage: Serial time (estimated): Coverage now includes
Coverage now excludes
RegressionTests now excludes
RegressionTest now includes
|
Should close #139