From c130290a1184339a9999cfba88dbe6e96adae2f9 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 15 Mar 2022 23:26:55 +0000
Subject: [PATCH] Switched from Jenkins to Woodpecker CI.

---
 .ci/Jenkinsfile | 12 ------------
 .woodpecker.yml |  5 +++++
 2 files changed, 5 insertions(+), 12 deletions(-)
 delete mode 100644 .ci/Jenkinsfile
 create mode 100644 .woodpecker.yml

diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile
deleted file mode 100644
index 99ddea8..0000000
--- a/.ci/Jenkinsfile
+++ /dev/null
@@ -1,12 +0,0 @@
-pipeline {
-    agent any
-
-    stages {
-        stage('Build PDFs') {
-            steps {
-                sh 'docker run -v $PWD/:/authorarchive logicalhacking:debian4isabelle sh -c "cd /authorarchive/examples && (for i in *.tex; do pdflatex \\$i; pdflatex \\$i; pdflatex \\$i;  done)"'
-            }
-        }
-    }
-} 
-
diff --git a/.woodpecker.yml b/.woodpecker.yml
new file mode 100644
index 0000000..147f01b
--- /dev/null
+++ b/.woodpecker.yml
@@ -0,0 +1,5 @@
+pipeline:
+  build:
+    image: docker.io/texlive/texlive
+    commands:
+      - latexmk -cd examples -pdf