Skip to content

Merge remote-tracking branch 'origin/rel-1.5.3-uzh' into dev-1.5 #1412

Merge remote-tracking branch 'origin/rel-1.5.3-uzh' into dev-1.5

Merge remote-tracking branch 'origin/rel-1.5.3-uzh' into dev-1.5 #1412

Triggered via push November 20, 2023 11:13
Status Success
Total duration 2m 32s
Artifacts
maven-build-reporting
2m 22s
maven-build-reporting
maven-build-docker
0s
maven-build-docker
docker-build
0s
docker-build
Fit to window
Zoom out
Zoom in