Skip to content
This repository has been archived by the owner on Oct 28, 2024. It is now read-only.

Commit

Permalink
Remove super-linter since it takes 20 minutes (#1083)
Browse files Browse the repository at this point in the history
  • Loading branch information
v1v authored Apr 21, 2021
1 parent 951ac82 commit 8700344
Showing 1 changed file with 0 additions and 11 deletions.
11 changes: 0 additions & 11 deletions .ci/Jenkinsfile
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit 8700344

Please sign in to comment.