This way we introduce more parallelism in the GitHub Actions tests, which should reduce overall runtime and thus cannot hurt.