From: Timo Heister <timo.heister@gmail.com>
Date: Tue, 3 Jan 2023 19:00:59 +0000 (-0500)
Subject: Jenkins: delete mark job as well, as it is not needed anymore
X-Git-Tag: v9.5.0-rc1~683^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=82b29cfca93cafc8d3eda957d45d6152fa12f77a;p=dealii.git

Jenkins: delete mark job as well, as it is not needed anymore

This is because invidual jobs report there status without having to

be on a node yet.
---

diff --git a/contrib/ci/Jenkinsfile.mark b/contrib/ci/Jenkinsfile.mark
deleted file mode 100644
index 78f8e02c67..0000000000
--- a/contrib/ci/Jenkinsfile.mark
+++ /dev/null
@@ -1,63 +0,0 @@
-#!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.
-
-*/
-
-/*
-Settings to apply inside Jenkins:
-  - discover pull requests (remove branches/master)
-  - Strategy: merged PR
-  - enable "Disable GitHub Multibranch Status Plugin"
-  - trigger build on pull request comment: .* /rebuild.* (without space)
-  - Jenkinsfile: choose contrib/ci/Jenkinsfile.mark
-  - scan: every 4 hours
-  - discard: 5+ items
-  - docker label: small
-*/
-
-pipeline
-{
-  agent
-  {
-    docker
-    {
-      image 'dealii/indent'
-    }
-  }
-
-  post { cleanup { cleanWs() } }
-
-  stages
-  {
-    stage("check")
-    {
-      steps
-      {
-        githubNotify context: 'ready', description: 'please be patient, testers are spinning up...',  status: 'PENDING'
-        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; }
-            '''
-      }
-      post
-      {
-        failure
-        {
-          githubNotify context: 'ready', description: 'need ready to test label and /rebuild',  status: 'PENDING'
-          script
-          {
-            currentBuild.result='NOT_BUILT'
-          }
-        }
-      }
-    }
-
-  }
-}