Skip to content

Merge branch 'master' into develop #775

Merge branch 'master' into develop

Merge branch 'master' into develop #775

Triggered via push June 27, 2023 19:01
Status Success
Total duration 40s
Artifacts
check-configuration
28s
check-configuration
Fit to window
Zoom out
Zoom in