merge queue: embarking main (43136d0) and [#2490 + #2493 + #2494] together #5726
Triggered via pull request
October 12, 2023 07:38
mergify[bot]
mergify[bot]
opened
#2497
Status
Success
Total duration
13s
Artifacts
–
semantic-pull-request.yaml
on: pull_request_target
semantic-pull-request
3s