remove jdk17 from ci.jenkins.io builds (Weekly)

Author: lemeurherve

Jenkinsfile

@@ -119,16 +119,12 @@ stage('Build') {
             // This list can be updated with the following command:
             // make show | jq -r '.target | keys[]' | sort
             def images = [
-                'alpine_jdk17',
                 'alpine_jdk21',
                 'alpine_jdk25',
-                'debian_jdk17',
                 'debian_jdk21',
                 'debian_jdk25',
-                'debian-slim_jdk17',
                 'debian-slim_jdk21',
                 'debian-slim_jdk25',
-                'rhel_jdk17',
                 'rhel_jdk21',
                 'rhel_jdk25',
             ]