[7.2.0] Fix a crash on use_repo_rule with no repos
#3328
Triggered via pull request
May 23, 2024 00:24
iancha1992
closed
#22508
Status
Skipped
Total duration
2s
Artifacts
–
cherry-picker.yml
on: pull_request_target
cherry-picker-on-closed
0s
cherry-picker-on-milestoned
0s