Skip to content
Windows Rtools44

Try much more aggressive boost pruning #4460

Sign in to view logs

Try much more aggressive boost pruning

Try much more aggressive boost pruning #4460

Run time

Learn about OS pricing on GitHub Actions
Job Run time
mix/fun tests 1
2h 13m 1s
mix/fun tests 2
1h 34m 52s
fwd tests and non-fun mix tests
59m 14s
prim and rev tests
3h 6m 7s
7h 53m 14s