Skip to content

merge queue: embarking main (0deca4d) and #2449 together #5631

merge queue: embarking main (0deca4d) and #2449 together

merge queue: embarking main (0deca4d) and #2449 together #5631

Triggered via pull request October 10, 2023 07:19
Status Success
Total duration 12s
Artifacts

semantic-pull-request.yaml

on: pull_request_target
semantic-pull-request
3s
semantic-pull-request
Fit to window
Zoom out
Zoom in