ci: update openjdk installations; add openjdk23 #582
| Job | Run time |
|---|---|
| 19m 29s | |
| 17m 57s | |
| 16m 58s | |
| 17m 17s | |
| 17m 16s | |
| 55m 51s | |
| 30m 18s | |
| 33m 19s | |
| 33m 1s | |
| 33m 42s | |
| 4h 35m 8s |
| Job | Run time |
|---|---|
| 19m 29s | |
| 17m 57s | |
| 16m 58s | |
| 17m 17s | |
| 17m 16s | |
| 55m 51s | |
| 30m 18s | |
| 33m 19s | |
| 33m 1s | |
| 33m 42s | |
| 4h 35m 8s |