merge queue: embarking devel (0ed7a64) and #4159 together #265
Triggered via pull request
October 3, 2023 11:45
mergify[bot]
mergify[bot]
opened
#4160
Status
Success
Total duration
16s
Artifacts
–
mergify-copy-labels.yaml
on: pull_request_target
mergify-merge-queue-labels-copier
7s