Brian Clozel d756c2b128 Remove JDK 20 variant from CI build.

2024-01-17 21:26:37 +01:00

..

build-pr.sh

…

build-project.sh

…

check-project.sh

…

common.sh

…

generate-changelog.sh

…

promote-version.sh

…

stage-version.sh

…