merge queue: embarking devel (76d9400) and #4236 together #323
Triggered via pull request
November 7, 2023 10:12
mergify[bot]
mergify[bot]
opened
#4238
Status
Success
Total duration
32s
Artifacts
–
mergify-copy-labels.yaml
on: pull_request_target
mergify-merge-queue-labels-copier
8s