Update compiler release to Java 17 #108

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

Merged

jgebal merged 3 commits into develop from feature/move_to_compiler_java_17

Apr 27, 2026

+9 −6

Merged

Update compiler release to Java 17 #108

Update build process

GitHub Actions / Test Results succeeded Apr 27, 2026 in 0s

All 72 tests pass in 17s

23 files ±0 23 suites ±0 17s ⏱️ -1s
72 tests ±0 72 ✅ ±0 0 💤 ±0 0 ❌ ±0
84 runs ±0 84 ✅ ±0 0 💤 ±0 0 ❌ ±0

Results for commit 60d1d34. ± Comparison against earlier commit b12b711.

View more details on GitHub Actions