diff options
-rw-r--r-- | Jenkinsfile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index e10b55c28..a950e74fa 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -43,6 +43,11 @@ pipeline { } } stage('Check freeze period') { + when { + not { + branch 'master' + } + } steps { sh "wget https://git.eclipse.org/c/platform/eclipse.platform.releng.aggregator.git/plain/scripts/verifyFreezePeriod.sh" sh "chmod +x verifyFreezePeriod.sh" |