From d1e0a7f6123eaf71dfe977cf235bc98bb1f5905c Mon Sep 17 00:00:00 2001 From: Simone Bordet Date: Wed, 23 Nov 2022 15:52:12 +0100 Subject: [PATCH] Do not hard fail the documentation if Java < 19. Require Java 19 to build the release. Signed-off-by: Simone Bordet --- .github/ISSUE_TEMPLATE/release-template.md | 4 ++-- documentation/jetty-documentation/pom.xml | 12 ++++++++++++ pom.xml | 4 ++-- 3 files changed, 16 insertions(+), 4 deletions(-) diff --git a/.github/ISSUE_TEMPLATE/release-template.md b/.github/ISSUE_TEMPLATE/release-template.md index 918a2783c75..9e3f87e1afe 100644 --- a/.github/ISSUE_TEMPLATE/release-template.md +++ b/.github/ISSUE_TEMPLATE/release-template.md @@ -32,8 +32,8 @@ This release process will produce releases: + [ ] Create and use branches `release/` to perform version specific release work from. + [ ] Ensure `VERSION.txt` additions for each release will be meaningful, descriptive, correct text. + [ ] Stage 9.4 release with Java 11. - + [ ] Stage 10 release with Java 17. - + [ ] Stage 11 release with Java 17. + + [ ] Stage 10 release with Java 19. + + [ ] Stage 11 release with Java 19. + [ ] Push release branches `release/` to to https://github.com/eclipse/jetty.project + [ ] Push release tags `jetty-` to https://github.com/eclipse/jetty.project + [ ] Edit a draft release (for each Jetty release) in GitHub (https://github.com/eclipse/jetty.project/releases). Content is generated with the "changelog tool". diff --git a/documentation/jetty-documentation/pom.xml b/documentation/jetty-documentation/pom.xml index cf1fd8d58c9..a356ebbfdb6 100644 --- a/documentation/jetty-documentation/pom.xml +++ b/documentation/jetty-documentation/pom.xml @@ -13,6 +13,18 @@ + + maven-enforcer-plugin + + false + + + [19,) + [ERROR] OLD JDK [${java.version}] in use. Jetty documentation ${project.version} MUST use JDK 19 or newer + + + + org.asciidoctor asciidoctor-maven-plugin diff --git a/pom.xml b/pom.xml index dc437fc641a..435c0995105 100644 --- a/pom.xml +++ b/pom.xml @@ -2226,8 +2226,8 @@ - [17,) - [ERROR] OLD JDK [${java.version}] in use. Jetty Release ${project.version} MUST use JDK 17 or newer + [19,) + [ERROR] OLD JDK [${java.version}] in use. Jetty Release ${project.version} MUST use JDK 19 or newer