merge queue: embarking devel (a7959d4) and #4924 together #840
Triggered via pull request
October 31, 2024 10:59
mergify[bot]
mergify[bot]
opened
#4937
Status
Success
Total duration
17s
Artifacts
–
mergify-copy-labels.yaml
on: pull_request_target
mergify-merge-queue-labels-copier
7s