mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
This PR uses Java 8 in CI, except on macOS arm64, where the minimum supported Java version is 11. This ensures that the Java bindings, Java API tests, and Java examples are compatible with the minimum required Java version. It also ensures that the published Java bindings on GitHub can run with this older version. Previously, CMake enforced compatibility for the Java bindings, but not for the Java API tests or the Java examples. This change provides a more centralized solution. This PR also fixes a Java unit test to make it compatible with Java 8.
50 KiB
50 KiB