Skip to content

Use java 17 for build with release target 8 - #845

Merged
baev merged 5 commits into
masterfrom
java17
Dec 14, 2022
Merged

baev merged 5 commits into
masterfrom
java17

Conversation

@baev

@baev baev commented Nov 8, 2022

Copy link
Copy Markdown
Member

Context

Checklist

@baev baev added the pr:internal Change that isn't visible or obvious for end users label Nov 8, 2022
@baev
baev marked this pull request as ready for review December 14, 2022 05:41
@baev
baev merged commit bbd7da4 into master Dec 14, 2022
@baev
baev deleted the java17 branch December 14, 2022 06:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr:internal Change that isn't visible or obvious for end users

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants