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

Bump to Kotlin 1.8.0 #30219

Closed
wants to merge 1 commit into from
Closed

Bump to Kotlin 1.8.0 #30219

wants to merge 1 commit into from

Conversation

geoand
Copy link
Contributor

@geoand geoand commented Jan 6, 2023

No description provided.

@quarkus-bot quarkus-bot bot added area/arc Issue related to ARC (dependency injection) area/dependencies Pull requests that update a dependency file area/devtools Issues/PR related to maven, gradle, platform and cli tooling/plugins area/gradle Gradle area/jakarta labels Jan 6, 2023
@quarkus-bot
Copy link

quarkus-bot bot commented Jan 6, 2023

/cc @gsmet(jakarta), @manovotn(jakarta), @maxandersen(jakarta), @radcortez(jakarta), @Sanne(jakarta)

@gsmet
Copy link
Member

gsmet commented Jan 6, 2023

Wondering if we should wait for 1.8.1 to be on the safe side?

@geoand
Copy link
Contributor Author

geoand commented Jan 6, 2023

Wouldn't be a bad idea

@quarkus-bot
Copy link

quarkus-bot bot commented Jan 12, 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.

geoand added a commit to geoand/quarkus that referenced this pull request Feb 3, 2023
@geoand geoand mentioned this pull request Feb 3, 2023
@geoand
Copy link
Contributor Author

geoand commented Feb 3, 2023

Closing in favor of #30835

@geoand geoand closed this Feb 3, 2023
@quarkus-bot quarkus-bot bot added the triage/invalid This doesn't seem right label Feb 3, 2023
geoand added a commit to geoand/quarkus that referenced this pull request Feb 3, 2023
geoand added a commit to geoand/quarkus that referenced this pull request Feb 3, 2023
gsmet pushed a commit to geoand/quarkus that referenced this pull request Feb 4, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/arc Issue related to ARC (dependency injection) area/dependencies Pull requests that update a dependency file area/devtools Issues/PR related to maven, gradle, platform and cli tooling/plugins area/gradle Gradle area/jakarta triage/invalid This doesn't seem right
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants