Add CI checks for Java 14
lembergerth opened this issue · 1 comments
lembergerth commented
Currently, all our CI checks use Java 11. That means that our project is not tested against newer Java versions.
The infrastructure provided by https://gitlab.com/sosy-lab/software/java-project-template/ already contains definitions for Java 14,
so we should use them.
To do so, we need a docker image that contains Java 14 and an installation of the llvm version used by us, currently 3.9.
Installation of Java 14 on Ubuntu 18 is not straightforward, but would be easy on newer Ubuntu 20.
Installation of LLVM 3.9 on Ubuntu 20 is not straightforward though, because of required, but outdated libraries.
Handling this should be easy once we upgrade to a later LLVM version (#14)
lembergerth commented
Done with f2bef6b