]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Delete indent step in CI
authorDaniel Arndt <arndtd@ornl.gov>
Fri, 9 Jul 2021 14:52:13 +0000 (10:52 -0400)
committerDaniel Arndt <arndtd@ornl.gov>
Tue, 27 Jul 2021 19:19:43 +0000 (15:19 -0400)
Jenkinsfile

index 232bad2dda70e4c29fa173618db587fdadf19451..d89e19e47cfb7446267e4fa0d5931bdb71c9e59f 100644 (file)
@@ -60,34 +60,6 @@ pipeline
             githubNotify context: 'CI', description: 'running tests...',  status: 'PENDING'
           }
         }
-
-        stage("indent")
-        {
-          post {
-            failure {
-              githubNotify context: 'indent', description: 'failed',  status: 'FAILURE'
-            }
-          }
-
-          steps
-          {
-            // we are finally running, so we can mark the 'ready' context from Jenkinsfile.mark as success:
-            githubNotify context: 'ready', description: ':-)',  status: 'SUCCESS'
-
-            // We can not use 'indent' because we are missing the master branch:
-            // "fatal: ambiguous argument 'master': unknown revision or path"
-            sh '''
-               ./contrib/utilities/indent-all
-            '''
-            sh 'git diff > changes.diff'
-            archiveArtifacts artifacts: 'changes.diff', fingerprint: true
-            sh '''
-               git diff --exit-code || \
-               { echo "Please check indentation, see artifacts at the top right!"; exit 1; }
-            '''
-            githubNotify context: 'indent', description: '',  status: 'SUCCESS'
-          }
-        }
       }
     }
 

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.