Skip to content

Catch-up merge from master into branch/2023-01-19/review-procedure #428

Catch-up merge from master into branch/2023-01-19/review-procedure

Catch-up merge from master into branch/2023-01-19/review-procedure #428

Triggered via push November 9, 2023 12:06
Status Success
Total duration 18s
Artifacts
check-shell-scripts
7s
check-shell-scripts
Fit to window
Zoom out
Zoom in