Linux-based CI jobs are somewhat slow
Our Linux-based CI jobs are somewhat slow: while executing these tests finishen in a minute on my developer machine, they take about 10 minutes in CI. We should investigate whether we can speed up the jobs for a productivity boost.