merge queue: embarking devel (f9310c8) and #4022 together #168
Triggered via pull request
August 1, 2023 18:14
mergify[bot]
opened
#4027
Status
Success
Total duration
20s
Artifacts
–
mergify-copy-labels.yaml
on: pull_request_target
mergify-merge-queue-labels-copier
7s