merge queue: embarking devel (c45bc7d) and #5114 together #987
Triggered via pull request
January 31, 2025 06:58
mergify[bot]
mergify[bot]
opened
#5117
Status
Success
Total duration
11s
Artifacts
–
mergify-copy-labels.yaml
on: pull_request_target
mergify-merge-queue-labels-copier
4s