CI: also sync deb repos #15333
Triggered via pull request
October 23, 2023 15:02
jordimassaguerpla
opened
#7749
Status
Success
Total duration
16s
Artifacts
–