Skip to content

Comments

ci: only Java 17#415

Merged
sdelamo merged 1 commit intomasterfrom
java17
Oct 10, 2022
Merged

ci: only Java 17#415
sdelamo merged 1 commit intomasterfrom
java17

Conversation

@sdelamo
Copy link
Contributor

@sdelamo sdelamo commented Oct 10, 2022

No description provided.

@sdelamo sdelamo requested a review from timyates October 10, 2022 11:15
@sdelamo sdelamo merged commit f005bad into master Oct 10, 2022
@sdelamo sdelamo deleted the java17 branch October 10, 2022 11:32
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