Fabio Niephaus 8ae40e7db9 Use 22.3.1 when java-version set to 19. ...

This only applies to builds that use the old `version` option.

2023-06-20 15:37:11 +02:00

..

cleanup

Extend build reports with new data.

2023-06-20 09:41:35 +02:00

main

Use 22.3.1 when java-version set to 19.

2023-06-20 15:37:11 +02:00