Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Merged
merged 1 commit into from Jan 16, 2023

Conversation

gastaldi
Copy link
Contributor

@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
build-parent/pom.xml Outdated Show resolved Hide resolved
build-parent/pom.xml Outdated Show resolved Hide resolved
@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
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

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