]> https://gitweb.dealii.org/ - dealii.git/commitdiff
jenkins: allow testing master 9095/head
authorTimo Heister <timo.heister@gmail.com>
Mon, 25 Nov 2019 20:28:44 +0000 (15:28 -0500)
committerTimo Heister <timo.heister@gmail.com>
Mon, 25 Nov 2019 20:28:44 +0000 (15:28 -0500)
Jenkinsfile

index 2f6d440b15bd8cb467ee1ae025219f162eb2138b..eb6166526f29562076158810fe43bf40acf2e8a9 100644 (file)
@@ -36,6 +36,10 @@ pipeline
       {
         stage("permission")
         {
+          // skip permission check on master:
+          when {
+              not {branch 'master'}
+          }
           steps
           {
             githubNotify context: 'CI', description: 'need ready to test label and /rebuild',  status: 'PENDING'

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.