Skip to content
Back to pull request #7816

Set labels - PR #7816 ("extensions: fix outdated ghproxy mirror address") #2074

Sign in to view logs

Set labels - PR #7816 ("extensions: fix outdated ghproxy mirror address")

Set labels - PR #7816 ("extensions: fix outdated ghproxy mirror address") #2074

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Category labels
9s
Remove Ready to merge
2s
Size label
2s
13s