ci: upgrade workflows to Java 23 #171

Job	Run time
known_user	3s
approval_required	1s
build-enterprise-quarkus (java/bed-allocation, 17)	5m 15s
build-enterprise-quarkus (java/vehicle-routing, 17)	5m 11s
build-quarkus (java/bed-allocation, 17)	6m 42s
build-quarkus (java/conference-scheduling, 17)	6m 7s
build-quarkus (java/employee-scheduling, 17)	6m 36s
build-quarkus (java/facility-location, 17)	5m 39s
build-quarkus (java/flight-crew-scheduling, 17)	6m 8s
build-quarkus (java/food-packaging, 17)	5m 27s
build-quarkus (java/maintenance-scheduling, 17)	6m 9s
build-quarkus (java/meeting-scheduling, 17)	6m 19s
build-quarkus (java/order-picking, 17)	5m 29s
build-quarkus (java/project-job-scheduling, 17)	6m 10s
build-quarkus (java/school-timetabling, 17)	6m 4s
build-quarkus (java/sports-league-scheduling, 17)	6m 14s
build-quarkus (java/task-assigning, 17)	6m 6s
build-quarkus (java/tournament-scheduling, 17)	6m 54s
build-quarkus (java/vehicle-routing, 17)	6m 17s
build-quarkus (kotlin/school-timetabling, 17)	6m 39s
build-spring-boot (java/spring-boot-integration, 17)	6m 45s
	1h 56m 15s

Provide feedback