upgrade to jdk17 #87

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Open

Kraks wants to merge 2 commits into main from jdk17

Member

Kraks commented Apr 25, 2025

No description provided.

Guannan Wei added 2 commits

April 25, 2025 14:44


          update version

adde2f3


          fix yml

0fde5b8

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet