Merge pull request #50909 from damon-atkins/jenkins_pylint

Update .ci/lint fix CHANGE_BRANCH name
This commit is contained in:
Pedro Algarvio 2018-12-20 09:09:12 +00:00 committed by GitHub
commit 07fca64f85
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -98,7 +98,7 @@ pipeline {
stage('linting all') {
// perform a full linit if this is a merge forward and the change only lint passed.
when {
expression { return params.CHANGE_BRANCH =~ /(?i)^merge[._-]/ }
expression { return env.CHANGE_BRANCH =~ /(?i)^merge[._-]/ }
}
parallel {
stage('setup full') {