Merge pull request #717 from pzygielo/record-maven-warnings

eclipse-ee4j · Dec 1, 2020 · 3b19fb1 · 3b19fb1
2 parents 83a7be0 + 4dc828a
commit 3b19fb1
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -72,6 +72,13 @@ spec:
           }
         }
       }
+      post {
+        always {
+          node(null) {
+            recordIssues tools: [ mavenConsole(), java(), javaDoc() ], enabledForFailure: true
+          }
+        }
+      }
     }
     stage('sanity') {
       agent any