diff --git a/dev-support/Jenkinsfile_GitHub b/dev-support/Jenkinsfile_GitHub
index c341e721fcf..992e2cebf78 100644
--- a/dev-support/Jenkinsfile_GitHub
+++ b/dev-support/Jenkinsfile_GitHub
@@ -250,7 +250,8 @@ pipeline {
                     }
                     post {
                         always {
-                            junit testResults: "${WORKDIR_REL}/${SRC_REL}/**/target/**/TEST-*.xml", allowEmptyResults: true
+                            junit testResults: "${WORKDIR_REL}/${SRC_REL}/**/target/**/TEST-*.xml",
+                              allowEmptyResults: true, skipPublishingChecks: true
                             sh label: 'zip surefire reports', script: '''#!/bin/bash -e
                                 if [ -d "${PATCHDIR}/archiver" ]; then
                                   count=$(find "${PATCHDIR}/archiver" -type f | wc -l)
@@ -381,7 +382,8 @@ pipeline {
                     }
                     post {
                         always {
-                            junit testResults: "${WORKDIR_REL}/${SRC_REL}/**/target/**/TEST-*.xml", allowEmptyResults: true
+                            junit testResults: "${WORKDIR_REL}/${SRC_REL}/**/target/**/TEST-*.xml",
+                              allowEmptyResults: true, skipPublishingChecks: true
                             sh label: 'zip surefire reports', script: '''#!/bin/bash -e
                                 if [ -d "${PATCHDIR}/archiver" ]; then
                                   count=$(find "${PATCHDIR}/archiver" -type f | wc -l)