merge queue: embarking devel (97d9f70) and #4083 together #210
Triggered via pull request
August 29, 2023 11:21
mergify[bot]
mergify[bot]
opened
#4092
Status
Success
Total duration
14s
Artifacts
–
mergify-copy-labels.yaml
on: pull_request_target
mergify-merge-queue-labels-copier
5s