CI: add comment in PR #235
Triggered via pull request
October 20, 2023 05:59
jordimassaguerpla
opened
#7718
Status
Success
Total duration
13s
Artifacts
–
external_pr_labeler.yml
on: pull_request_target
Label external PRs
4s