Skip to content

CI: run more scripted tests on recent JDKs#392

Merged
bjaglin merged 1 commit intomainfrom sbt15-jdk17andlaterFeb 24, 2024

Commits

Commits on Feb 24, 2024