Skip to content
This repository has been archived by the owner on Feb 15, 2022. It is now read-only.

Update to jdk17 #2

Merged
merged 2 commits into from
Oct 28, 2021
Merged

Update to jdk17 #2

merged 2 commits into from
Oct 28, 2021

Conversation

gvolpe
Copy link
Member

@gvolpe gvolpe commented Oct 28, 2021

Also add jdk11 to the CI build matrix.

@gvolpe gvolpe added the enhancement New feature or request label Oct 28, 2021
@gvolpe gvolpe merged commit 953ec86 into master Oct 28, 2021
@gvolpe gvolpe deleted the update/jdk17 branch October 28, 2021 08:20
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant