merge queue: embarking release-v3.9 (d6d66d5) and #3964 together #123
Triggered via pull request
July 3, 2023 15:53
mergify[bot]
opened
#3966
Status
Success
Total duration
15s
Artifacts
–
mergify-copy-labels.yaml
on: pull_request_target
mergify-merge-queue-labels-copier
6s