merge queue: embarking devel (925ea19) and #4950 together #856
Triggered via pull request
November 12, 2024 17:10
mergify[bot]
mergify[bot]
opened
#4957
Status
Success
Total duration
46s
Artifacts
–
mergify-copy-labels.yaml
on: pull_request_target
mergify-merge-queue-labels-copier
7s