From d7cf6f1fc7f8ac9bf46dc1bc2b0d3d8ae60b179a Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 19 Mar 2022 21:07:12 +0000
Subject: [PATCH] Removed outdated Jenkinsfile.

---
 .woodpecker/Jenkinsfile | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100755 .woodpecker/Jenkinsfile

diff --git a/.woodpecker/Jenkinsfile b/.woodpecker/Jenkinsfile
deleted file mode 100755
index a0162e3d..00000000
--- a/.woodpecker/Jenkinsfile
+++ /dev/null
@@ -1,27 +0,0 @@
-pipeline {
-    agent any
-
-    stages {
-        stage('Build Docker') {
-            steps {
-                sh 'cp src/patches/thy_output.ML .ci/isabelle4isadof/'
-                sh 'docker build -t logicalhacking:isabelle4dof .ci/isabelle4isadof'
-                sh 'rm -f .ci/isabelle4isadof/thy_output.ML'
-            }
-        }
-        stage('Check Docker') {
-            when { changeset "src/patches/*" } 
-            steps {
-                sh 'cp src/patches/thy_output.ML .ci/isabelle4isadof/'
-                sh 'docker build --no-cache -t logicalhacking:isabelle4dof .ci/isabelle4isadof'
-                sh 'rm -f .ci/isabelle4isadof/thy_output.ML'
-            }
-        }
-        stage('Build Isabelle/DOF') {
-            steps {
-                sh 'find -type d -name "output" -exec rm -rf {} \\; || true'
-                sh 'docker run -v $PWD:/DOF logicalhacking:isabelle4dof  sh -c "cd /DOF && ./install && isabelle build -D ."'
-            } 
-	}
-    }
-}