[CI]: cleanup workspaces, document, simplify tidy

- tidy job: use only one agent
- add documentation
- add cleanup of workspace (otherwise we run out of disk space, yay)

diff --git a/contrib/ci/Jenkinsfile.mark b/contrib/ci/Jenkinsfile.mark
index 37aa15478cd7de4dbc874585f20a7293aef81d05..78f8e02c676c2a9d3348ee60629a85813a703122 100644 (file)
--- a/contrib/ci/Jenkinsfile.mark
+++ b/contrib/ci/Jenkinsfile.mark
@@ -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")

diff --git a/contrib/ci/Jenkinsfile.osx b/contrib/ci/Jenkinsfile.osx
index fbee05a7686f4dbf86ba16fb093698fa57c67bf2..5a404aabb774f3e4442e9c991dbb3978a2a7cf99 100644 (file)
--- a/contrib/ci/Jenkinsfile.osx
+++ b/contrib/ci/Jenkinsfile.osx
@@ -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")

diff --git a/contrib/ci/Jenkinsfile.tidy b/contrib/ci/Jenkinsfile.tidy
index 05c013482631d2cbd97a504c8d5b893e5a0c9b8e..82d7e69a39f2580a7c8958ea4948f1f2a7171f12 100644 (file)
--- a/contrib/ci/Jenkinsfile.tidy
+++ b/contrib/ci/Jenkinsfile.tidy
@@ -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')