Skip to content

Build java: [ '8', '11', '17', '19' ]#564

Merged
vharseko merged 5 commits intoOpenIdentityPlatform:masterfrom
vharseko:pr-jdk
Dec 7, 2022
Merged

Build java: [ '8', '11', '17', '19' ]#564
vharseko merged 5 commits intoOpenIdentityPlatform:masterfrom
vharseko:pr-jdk

Conversation

@vharseko
Copy link
Member

@vharseko vharseko commented Dec 7, 2022

No description provided.

@vharseko vharseko merged commit 3fa41a6 into OpenIdentityPlatform:master Dec 7, 2022
@vharseko vharseko deleted the pr-jdk branch December 7, 2022 20:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant