Make both lowercase and uppercase work (thanks @Kylepoops)

This commit is contained in:
Simon Gardling 2021-05-13 12:27:02 -04:00 committed by GitHub
parent f68a87e2d9
commit 21b6a54a60
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

2
Jenkinsfile vendored
View File

@ -12,7 +12,7 @@ pipeline {
jdk "OpenJDK 8"
}
steps {
scmSkip(deleteBuild: true, skipPattern:'.*\\[ci-skip\\].*')
scmSkip(deleteBuild: true, skipPattern:'.*\\[(ci-skip|CI-SKIP)\\].*')
sh 'git config --global gc.auto 0'
sh 'rm -rf ./target'
sh 'rm -rf ./Paper/Paper-API ./Paper/Paper-Server'