Require openjdk17 for Travis CI

DieTechniker · Jul 18, 2023 · 261c0ed · 261c0ed
1 parent e568fc7
commit 261c0ed
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -1,4 +1,5 @@
 language: java
+jdk: openjdk17
 
 script:
   # the following command line builds the project, runs the tests with coverage