tree 963d2647e9cdfd1b4a78832a049e8eccf888ddf0
parent cb64cdbd4c419b78c68d839740291117205c6b96
author Andrea Cosentino <ancosen@gmail.com> 1631693545 +0200
committer Andrea Cosentino <ancosen@gmail.com> 1631693545 +0200

Point JDK 17 instead of JDK 16 in Jenkins job