merge queue: embarking devel (c4883d3) and #5134 together #1002
Triggered via pull request
February 13, 2025 12:41
mergify[bot]
mergify[bot]
opened
#5144
Status
Success
Total duration
13s
Artifacts
–
mergify-copy-labels.yaml
on: pull_request_target
mergify-merge-queue-labels-copier
4s