This repository was archived by the owner on Mar 21, 2025. It is now read-only.
This repository was archived by the owner on Mar 21, 2025. It is now read-only.
Consider larger runners for GitHub Actions #619
Description
To improve build time, we may be able to use larger runners: https://docs.github.com/en/actions/using-github-hosted-runners/using-larger-runners.