Skip to content

Merge branch 'master' into develop #773

Merge branch 'master' into develop

Merge branch 'master' into develop #773

Triggered via push June 26, 2023 10:27
Status Success
Total duration 47s
Artifacts
check-configuration
37s
check-configuration
Fit to window
Zoom out
Zoom in