Java CI with Maven

Various fixes, especially correct Isabelle loading (#13) #37

Sign in to view logs

GitHub Actions / spotbugs succeeded Sep 13, 2023 in 0s

SpotBugs Source Code Analyzer report

0 violation(s) found

View more details on GitHub Actions