build

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
maven-build-reporting	2m 22s
maven-build-docker	0s
docker-build	0s
	2m 22s