Run CI with two Julia threads active
What happens if we set this to 8 threads? ^^ And any idea why we are getting an OutOfMemoryError on x86?
What happens if we set this to 8 threads?
Well, the default GitHub Actions runner only has two virtual CPUs, so that should work but provide no speed-up.
And any idea why we are getting an OutOfMemoryError on x86
Nope ...
I'll re-run all CI jobs to time them again.
Am I seeing it right that the ubuntu x64 tests on Julia 1 take almost 4 hours (?)
Am I seeing it right that the ubuntu x64 tests on Julia 1 take almost 4 hours (?)
Yes, and it seems to be reproducible, and I don't understand why. Before (this PR) it was about 1.5h. But the tests on the other platforms, that also used to take around 1.5 h, do run in about 50 minutes now, which makes sense.
I've added test timers to this PR (should be useful in general), let's see where all the time is spent.
Tests on Julia v1.9 keep failing with out-of-memory, not sure why (and why only when using multithreading).
Docs failures should be fixed by #341.
ubuntu x64 is still significantly slower than the rest..
ubuntu x64 is still significantly slower than the rest..
Yes, massively - but I haven't the faintest intuition on why, it looks really strange.
How long does it run locally, on two core, x86-64, in comparison? Maybe the GitHub x86-64 runners are just in higher demand and more heavily oversubscribed?
Let's see whether something has changed here ever since..
@oschulz looks like the tests all speed up except for the one also testing the code coverage. Any idea why?
I rebased this PR onto the current main
The test also testing the code coverage seemed to take significantly longer than the rest. Let's see whether using #434 solves this.
Looks like the number of processors for public repositories was updated to four: https://docs.github.com/en/actions/using-github-hosted-runners/using-github-hosted-runners/about-github-hosted-runners#standard-github-hosted-runners-for-public-repositories
The last force-push was a rebase onto the current main.