From 9ddae0c3d93731af96067d48c97b84a8d876b714 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 26 Mar 2022 08:07:35 +0000
Subject: [PATCH] Switched from Jenkins to Woodpecker CI.

---
 .ci/Jenkinsfile | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 .ci/Jenkinsfile

diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile
deleted file mode 100644
index 19885ce..0000000
--- a/.ci/Jenkinsfile
+++ /dev/null
@@ -1,10 +0,0 @@
-pipeline {
-    agent any
-    stages {
-        stage('Build') {
-            steps {
-                sh 'docker run -v $PWD/Core_DOM:/Core_DOM logicalhacking:isabelle2020 isabelle build -D /Extended_Finite_State_Machines'
-            }
-        }
-    }
-}