Mirrored GitHub Actions for CI (avoid github.com clones from runners)
For more information on the package registry, see the documentation.