CI: also sync deb repos #263
Triggered via pull request
October 23, 2023 15:02
jordimassaguerpla
opened
#7749
Status
Success
Total duration
14s
Artifacts
–
external_pr_labeler.yml
on: pull_request_target
Label external PRs
4s