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