Case-insensitive PR title check (#4919)

Signed-off-by: Peixin Li <pxli@nyu.edu>
NVIDIA · Mar 9, 2022 · ac2c449 · ac2c449
1 parent 98a731f
commit ac2c449
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jenkins/Jenkinsfile-blossom.premerge b/jenkins/Jenkinsfile-blossom.premerge
@@ -143,7 +143,7 @@ pipeline {
                         echo "failed to try abort duplicate builds: " + e.toString()
                     }
 
-                    def title = githubHelper.getIssue().title
+                    def title = githubHelper.getIssue().title.toLowerCase()
                     if (title ==~ /.*\[skip ci\].*/) {
                         githubHelper.updateCommitStatus("$BUILD_URL", "Skipped", GitHubCommitState.SUCCESS)
                         currentBuild.result == "SUCCESS"