Eduardo Sánchez Muñoz 0b262c6ba7 Use 4 cores in CI ... GitHub Actions runners for public repositories have 4 CPU cores: https://docs.github.com/en/actions/reference/runners/github-hosted-runners#standard-github-hosted-runners-for-public-repositories Additionally, it might slightly increase the chances of finding a race condition.		2025-12-30 15:37:03 +01:00
..
workflows	Use 4 cores in CI	2025-12-30 15:37:03 +01:00