Brian Clozel b077ae9259 Configure local JDK toolchains in CI staging job		2023-06-15 14:01:06 +02:00
..
build-pr.sh	Configure toolchain locations when building PRs	2023-05-12 11:33:17 +02:00
build-project.sh	Make JDK21 available as toolchain in main build	2023-05-08 15:27:30 +02:00
check-project.sh	Merge branch '6.0.x'	2023-05-25 20:18:10 +02:00
common.sh	…
generate-changelog.sh	Polish CI pipeline	2021-03-10 13:59:30 +01:00
promote-version.sh	Upgrade to oci-build-task 0.10.0 in CI task	2022-05-13 08:55:28 +02:00
stage-version.sh	Configure local JDK toolchains in CI staging job	2023-06-15 14:01:06 +02:00