delete old Jenkins setup

diff --git a/Jenkinsfile b/Jenkinsfile
deleted file mode 100644 (file)
index 198a785..0000000
--- a/Jenkinsfile
+++ /dev/null
@@ -1,134 +0,0 @@
-#!groovy
-
-// load library https://github.com/tjhei/jenkins-stuff to provide
-// killold.killOldBuilds() function:
-@Library('tjhei') _
-
-pipeline
-{
-  agent none
-
-  stages
-  {
-    stage("abort old")
-    {
-      agent none
-      steps
-      {
-        // kill older builds in this PR:
-        script { killold.killOldBuilds() }
-      }
-    }
-
-    stage("check")
-    {
-      agent
-      {
-        docker
-        {
-          image 'dealii/indent'
-        }
-      }
-
-      post { cleanup { cleanWs() } }
-
-      stages
-      {
-        stage("permission")
-        {
-          // skip permission check on master and release branches
-          when {
-            not {
-              anyOf {
-                branch 'master'
-                branch pattern: "dealii-*", comparator: "GLOB"
-              }
-            }
-          }
-          steps
-          {
-            githubNotify context: 'CI', description: 'need ready to test label and /rebuild',  status: 'PENDING'
-            // For /rebuild to work you need to:
-            // 1) select "issue comment" to be delivered in the github webhook setting
-            // 2) install "GitHub PR Comment Build Plugin" on Jenkins
-            // 3) in project settings select "add property" "Trigger build on pr comment" with
-            //    the phrase ".*/rebuild.*" (without quotes)
-            sh '''
-               wget -q -O - https://api.github.com/repos/dealii/dealii/issues/${CHANGE_ID}/labels | grep 'ready to test' || \
-               { echo "This commit will only be tested when it has the label 'ready to test'. Trigger a rebuild by adding a comment that contains '/rebuild'..."; exit 1; }
-            '''
-            githubNotify context: 'CI', description: 'running tests...',  status: 'PENDING'
-          }
-        }
-      }
-    }
-
-    stage('gcc-serial')
-    {
-      agent
-      {
-        docker
-        {
-          image 'tjhei/candi:v9.0.1-r4'
-        }
-      }
-
-      post {
-        always {
-          sh "cp /home/dealii/build/Testing/*/*.xml $WORKSPACE/serial.xml || true"
-          xunit tools: [CTest(pattern: '*.xml')]
-          sh "cp /home/dealii/build/detailed.log $WORKSPACE/detailed-serial.log || true"
-          archiveArtifacts artifacts: 'detailed-serial.log', fingerprint: true
-        }
-
-        cleanup {
-          cleanWs()
-        }
-
-        failure {
-          githubNotify context: 'CI', description: 'serial build failed',  status: 'FAILURE'
-        }
-      }
-
-      steps
-      {
-        timeout(time: 6, unit: 'HOURS')
-        {
-          sh "echo \"building on node ${env.NODE_NAME}\""
-          sh '''#!/bin/bash
-              set -e
-              set -x
-              export NP=`grep -c ^processor /proc/cpuinfo`
-              export TEST_TIME_LIMIT=1200
-              mkdir -p /home/dealii/build
-              cd /home/dealii/build
-              cmake -G "Ninja" \
-                -D DEAL_II_CXX_FLAGS='-Werror' \
-                -D DEAL_II_CXX_FLAGS_DEBUG='-Og' \
-                -D DEAL_II_EARLY_DEPRECATIONS=ON \
-                -D CMAKE_BUILD_TYPE=Debug \
-                -D DEAL_II_WITH_MPI=OFF \
-                -D DEAL_II_UNITY_BUILD=ON \
-                $WORKSPACE/
-              time ninja -j $NP
-              time ninja test # quicktests
-              time ninja setup_tests
-              time ctest --output-on-failure -DDESCRIPTION="CI-$JOB_NAME" -j $NP --no-compress-output -T test
-          '''
-        }
-      }
-    }
-
-    stage("finalize")
-    {
-      agent none
-
-      steps
-      {
-        githubNotify context: 'CI', description: 'OK',  status: 'SUCCESS'
-        // In case the Jenkinsfile.mark job started after we did, make sure we don't leave a pending status around:
-        githubNotify context: 'ready', description: ':-)',  status: 'SUCCESS'
-      }
-    }
-  }
-}