merge queue: embarking devel (26c237e) and #4923 together #838
Triggered via pull request
October 29, 2024 12:39
mergify[bot]
mergify[bot]
opened
#4933
Status
Success
Total duration
13s
Artifacts
–
mergify-copy-labels.yaml
on: pull_request_target
mergify-merge-queue-labels-copier
5s