CI: fix flaky reposync by using mirrored repos #1886
Triggered via pull request
February 20, 2025 11:05
jordimassaguerpla
jordimassaguerpla
opened
#9811
Status
Success
Total duration
11s
Artifacts
–
external_pr_labeler.yml
on: pull_request_target
Label external PRs
2s