A different way of building on JDK 17

Author: jglick

Jenkinsfile

@@ -1,5 +1,26 @@
-buildPlugin(useContainerAgent: true, configurations: [
-    [platform: 'linux', jdk: '8'],
-    [platform: 'linux', jdk: '11'],
-    [platform: 'linux', jdk: '17']
-])
+pipeline {
+    options {
+        buildDiscarder(logRotator(numToKeepStr: '20'))
+        timeout(time: 1, unit: 'HOURS')
+    }
+    // cf. https://github.com/jenkins-infra/documentation/blob/master/ci.adoc
+    agent {
+        label 'docker'
+    }
+    tools {
+        jdk 'jdk17'
+        maven 'mvn'
+    }
+    stages {
+        stage('main') {
+            steps {
+                sh 'mvn -B clean verify -Dmaven.test.failure.ignore'
+            }
+            post {
+                success {
+                    junit '**/target/surefire-reports/TEST-*.xml'
+                }
+            }
+        }
+    }
+}