merge queue: embarking devel (b9d6549) and #5136 together #1004
Triggered via pull request
February 13, 2025 18:48
mergify[bot]
opened
#5146
Status
Success
Total duration
17s
Artifacts
–
mergify-copy-labels.yaml
on: pull_request_target
mergify-merge-queue-labels-copier
6s