Stéphane Nicoll 022b91980e Publish release notes as a pre-release for milestones ...

This commit updates the "create-github-release" action to allow an
additional input that specifies whether this is a pre-release. If that
is the case, then the `--prerelease` flag is set.

Closes gh-33200

2024-07-11 16:11:47 +02:00

..

build

Harmonize CI configuration

2024-07-05 09:46:45 +02:00

create-github-release

Publish release notes as a pre-release for milestones

2024-07-11 16:11:47 +02:00

prepare-gradle-build

Harmonize CI configuration

2024-07-05 09:46:45 +02:00

print-jvm-thread-dumps

Harmonize CI configuration

2024-07-05 10:26:43 +02:00

send-notification

Harmonize CI configuration

2024-07-05 09:46:45 +02:00

sync-to-maven-central

Release from GHA

2024-07-10 10:11:32 +02:00