Repository navigation

Build and release (push) #3494

Job	Run time
check-duplicate-run / Check for duplicate run	5s
create-release	7s
Build	4m 29s
publishPages	20s
native-image-win	7m 41s
native-image-mac	8m 55s
native-image-linux	7m 6s
combine-artifacts	24s
Trigger functional tests	6s
release	30s
Trigger Docker builds	6s
Publish semantic versions	-1s
	29m 48s