Merge pull request #4007 from github/mbg/use-registry-proxy-for-repo-… #10552

Job	Run time
Split workflow (macos-latest, nightly-latest)	1m 20s
Split workflow (ubuntu-latest, linked)	1m 9s
Split workflow (macos-latest, default)	1m 43s
Split workflow (ubuntu-latest, nightly-latest)	1m 9s
Split workflow (ubuntu-latest, default)	1m 12s
Split workflow (macos-latest, linked)	1m 11s
	7m 44s

Provide feedback