Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Configure to use four parallel jobs. Apparently github has been providing hosted runners with 4 CPUs since January, 2024 [0]. The MacOS runner may only provide 3 CPUs [1], but four jobs on three CPUs shouldn't be harmful and may actually help test performance, so we treat all target platforms uniformly. [0]: https://github.blog/news-insights/product-news/github-hosted-runners-double-the-power-for-open-source/ [1]: https://docs.github.com/en/actions/using-github-hosted-runners/using-github-hosted-runners/about-github-hosted-runners#supported-runners-and-hardware-resources
- Loading branch information