Merge branch 'jetty-9.4.x-checkstyle' of github.com:eclipse/jetty.project into jetty-9.4.x-checkstyle

2019-05-20 14:42:50 -05:00 · 2019-05-20 14:42:50 -05:00 · d99f639c20
parent 9cb8fb30fd 9557c18ef5
commit d99f639c20
1 changed files with 12 additions and 0 deletions
--- a/12
+++ b/12
@ -69,6 +69,18 @@ pipeline {
          }
        }

+        stage("Checkstyle ") {
+          agent { node { label 'linux' } }
+          options { timeout(time: 30, unit: 'MINUTES') }
+          steps {
+            mavenBuild("jdk11", "install checkstyle:checkstyle -DskipTests", "maven3", true)
+            recordIssues(
+                    enabledForFailure: true, aggregatingResults: true,
+                    tools: [java(), checkStyle(pattern: '**/target/checkstyle-result.xml', reportEncoding: 'UTF-8')]
+            )
+          }
+        }
+
        stage("Build Compact3") {
          agent { node { label 'linux' } }
          options { timeout(time: 120, unit: 'MINUTES') }