]> https://gitweb.dealii.org/ - dealii.git/commitdiff
[CI]: cleanup workspaces, document, simplify tidy 7718/head
authorTimo Heister <timo.heister@gmail.com>
Mon, 11 Feb 2019 00:23:56 +0000 (17:23 -0700)
committerTimo Heister <timo.heister@gmail.com>
Mon, 11 Feb 2019 00:25:04 +0000 (17:25 -0700)
- tidy job: use only one agent
- add documentation
- add cleanup of workspace (otherwise we run out of disk space, yay)

contrib/ci/Jenkinsfile.mark
contrib/ci/Jenkinsfile.osx
contrib/ci/Jenkinsfile.tidy

index 37aa15478cd7de4dbc874585f20a7293aef81d05..78f8e02c676c2a9d3348ee60629a85813a703122 100644 (file)
@@ -1,10 +1,14 @@
 #!groovy
 
-// This Jenkinsfile is used to mark jobs as "pending" as quickly as
-// possible. The other longer running jobs only set the status to pending once
-// they start running.
-//
-// See https://jenkins.tjhei.info/job/dealii-mark/ for details.
+/*
+
+This Jenkinsfile is used to mark jobs as "pending" as quickly as possible. The
+other longer running jobs only set the status to pending once they start
+running.
+
+See https://jenkins.tjhei.info/job/dealii-mark/ for details.
+
+*/
 
 /*
 Settings to apply inside Jenkins:
@@ -28,6 +32,8 @@ pipeline
     }
   }
 
+  post { cleanup { cleanWs() } }
+
   stages
   {
     stage("check")
index fbee05a7686f4dbf86ba16fb093698fa57c67bf2..5a404aabb774f3e4442e9c991dbb3978a2a7cf99 100644 (file)
@@ -1,5 +1,13 @@
 #!groovy
 
+/*
+
+This Jenkins job runs a build on OSX
+
+See https://jenkins.tjhei.info/job/dealii-osx/ for details.
+
+*/
+
 /*
 Settings to apply inside Jenkins:
   - discover pull requests (remove branches/master)
@@ -19,6 +27,8 @@ pipeline
     }
   }
 
+  post { cleanup { cleanWs() } }
+
   stages
   {
     stage("check")
index 05c013482631d2cbd97a504c8d5b893e5a0c9b8e..82d7e69a39f2580a7c8958ea4948f1f2a7171f12 100644 (file)
@@ -1,5 +1,13 @@
 #!groovy
 
+/*
+
+This Jenkins job runs clang-tidy on the code base
+
+See https://jenkins.tjhei.info/job/dealii-tidy/ for details.
+
+*/
+
 /*
 Settings to apply inside Jenkins:
   - discover pull requests (remove branches/master)
@@ -13,7 +21,15 @@ Settings to apply inside Jenkins:
 
 pipeline
 {
-  agent none
+  agent
+  {
+    docker
+    {
+      image 'tjhei/candi-base-clang'
+    }
+  }
+
+  post { cleanup { cleanWs() } }
 
   stages
   {
@@ -25,14 +41,6 @@ pipeline
         }
       }
 
-      agent
-      {
-        docker
-        {
-          image 'dealii/indent'
-        }
-      }
-
       steps
       {
         githubNotify context: 'tidy', description: 'pending...',  status: 'PENDING'
@@ -56,13 +64,6 @@ pipeline
 
     stage('build')
     {
-      agent
-      {
-        docker
-        {
-          image 'tjhei/candi-base-clang'
-        }
-      }
       steps
       {
         timeout(time: 2, unit: 'HOURS')

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.