merge queue: embarking devel (2acf7fc) and #4022 together #165
Triggered via pull request
August 1, 2023 11:59
mergify[bot]
mergify[bot]
opened
#4024
Status
Success
Total duration
16s
Artifacts
–
mergify-copy-labels.yaml
on: pull_request_target
mergify-merge-queue-labels-copier
5s