Merge branch 'master' into fix_build_status

elastic · Apr 21, 2021 · d2d4d26 · d2d4d26
2 parents 92cfd4b + 8700344
commit d2d4d26
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile
@@ -201,17 +201,6 @@ pipeline {
         }
       }
     }
-    stage('Super-linter') {
-      steps {
-        withGithubNotify(context: 'Check super-linter', tab: 'tests') {
-          deleteDir()
-          unstash 'source'
-          dir("${BASE_DIR}"){
-            superLinter(failNever: true, junit: false)
-          }
-        }
-      }
-    }
     stage('Release') {
       environment {
         // gren and other tools are in the .ci/scripts folder.