Point JDK 17 instead of JDK 16 in Jenkins job
authorAndrea Cosentino <ancosen@gmail.com>
Wed, 15 Sep 2021 08:02:25 +0000 (10:02 +0200)
committerAndrea Cosentino <ancosen@gmail.com>
Wed, 15 Sep 2021 08:02:25 +0000 (10:02 +0200)
commit65848027a200380fcb2a1fb1cb98b933b254a12b
tree2314319440abebd0dff11083a2425cb8358460f8
parente9d92bef830ce32df46ac3bcd1eddcd8d7f97057
Point JDK 17 instead of JDK 16 in Jenkins job
Jenkinsfile.jdk17 [new file with mode: 0644]