New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Java 17 not supported in `kore` submodule #4039

Closed

Scott-Guest wants to merge 2 commits into develop from why-no-17

Contributor

Scott-Guest commented Feb 23, 2024 •

edited

Loading

This PR is just to demonstrate that the kore submodule still fails to parse Java 17 features on CI.

Scott-Guest force-pushed the why-no-17 branch from 7b9a0e1 to ce9f7ec Compare

February 23, 2024 20:59


          Add Java 17 record class to kernel submodule. Build succeeds.

2b8f09a

Scott-Guest force-pushed the why-no-17 branch from ce9f7ec to 2b8f09a Compare

February 23, 2024 21:06


          Move exact same file to kore submodule. Build fails.

437f1ee

Scott-Guest mentioned this pull request

Java 17 (still) not supported in kore submodule #4041

Closed

Scott-Guest closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet