Pull mirrors of the GitHub Actions used by our CI, so runners do not depend on github.com
For more information on the package registry, see the documentation.
