Switched from Jenkins to Woodpecker CI.

2022-03-26 08:07:35 +00:00 · 2022-03-26 08:07:35 +00:00 · 9ddae0c3d9
parent ebbe081ca7
commit 9ddae0c3d9
1 changed files with 0 additions and 10 deletions
--- a/.ci/Jenkinsfile
+++ b/.ci/Jenkinsfile
@ -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'
-            }
-        }
-    }
-}