Skip to content

#197 Upgrade to Java 17 & add support for Java Record types#198

Merged
jimbethancourt merged 6 commits into
mainfrom
#197-upgrade-to-run-on-java-17
Jul 13, 2026
Merged

#197 Upgrade to Java 17 & add support for Java Record types#198
jimbethancourt merged 6 commits into
mainfrom
#197-upgrade-to-run-on-java-17

Conversation

@jimbethancourt

@jimbethancourt jimbethancourt commented Jul 12, 2026

Copy link
Copy Markdown
Collaborator
  • Upgraded to Java 17 using OpenRewrite Java 17 migration recipe
  • Upgraded JGit version to 7.7.0.202606012155-r
  • Added support for Java Records
  • Upgraded JGraphT version to 1.5.3

@jimbethancourt jimbethancourt changed the title #197 Upgrade to Java 17 #197 Upgrade to Java 17 & add support for Java Record types Jul 13, 2026
@jimbethancourt
jimbethancourt merged commit 175a823 into main Jul 13, 2026
5 checks passed
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