Skip to content

Introduce minimum-java-version and recommended-java-version#30290

Merged
gastaldi merged 1 commit intoquarkusio:mainfrom
gastaldi:minimum_jdk
Jan 16, 2023
Merged

Introduce minimum-java-version and recommended-java-version#30290
gastaldi merged 1 commit intoquarkusio:mainfrom
gastaldi:minimum_jdk

Conversation

@gastaldi
Copy link
Copy Markdown
Member

@quarkus-bot quarkus-bot Bot added area/dependencies Pull requests that update a dependency file area/devtools Issues/PR related to maven, gradle, platform and cli tooling/plugins labels Jan 10, 2023
@gastaldi gastaldi force-pushed the minimum_jdk branch 4 times, most recently from d7223a8 to b086ef2 Compare January 10, 2023 17:41
Comment thread build-parent/pom.xml Outdated
Comment thread devtools/bom-descriptor-json/src/main/resources/catalog-overrides.json Outdated
Comment thread build-parent/pom.xml Outdated
@gastaldi gastaldi changed the title Introduce proposed-java-version and supported-java-versions Introduce minimum-java-version and recommended-java-version Jan 16, 2023
Copy link
Copy Markdown
Contributor

@ia3andy ia3andy left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@gastaldi gastaldi added the triage/waiting-for-ci Ready to merge when CI successfully finishes label Jan 16, 2023
@quarkus-bot
Copy link
Copy Markdown

quarkus-bot Bot commented Jan 16, 2023

✔️ The latest workflow run for the pull request has completed successfully.

It should be safe to merge provided you have a look at the other checks in the summary.

@gastaldi gastaldi merged commit 79054ba into quarkusio:main Jan 16, 2023
@quarkus-bot quarkus-bot Bot removed the triage/waiting-for-ci Ready to merge when CI successfully finishes label Jan 16, 2023
@quarkus-bot quarkus-bot Bot added this to the 2.17 - main milestone Jan 16, 2023
@quarkus-bot quarkus-bot Bot added the kind/enhancement New feature or request label Jan 16, 2023
@gastaldi gastaldi deleted the minimum_jdk branch January 16, 2023 19:46
@gsmet gsmet modified the milestones: 2.17 - main, 2.13.7.Final Jan 17, 2023
@gsmet gsmet modified the milestones: 2.13.7.Final, 2.7.7.Final Jan 18, 2023
gastaldi added a commit to gastaldi/quarkus that referenced this pull request Jan 26, 2023
gastaldi added a commit to gastaldi/quarkus that referenced this pull request Jan 26, 2023
gastaldi added a commit to gastaldi/quarkus that referenced this pull request Jan 26, 2023
gastaldi added a commit to gastaldi/quarkus that referenced this pull request Jan 27, 2023
gsmet pushed a commit to gsmet/quarkus that referenced this pull request Jan 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/dependencies Pull requests that update a dependency file area/devtools Issues/PR related to maven, gradle, platform and cli tooling/plugins kind/enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Include minimum/recommended JDK version in the platform stream descriptor

5 participants