merge queue: embarking devel (8dc6328) and #4064 together #196
Triggered via pull request
August 22, 2023 13:48
mergify[bot]
mergify[bot]
opened
#4072
Status
Success
Total duration
20s
Artifacts
–
mergify-copy-labels.yaml
on: pull_request_target
mergify-merge-queue-labels-copier
6s