Switched from Jenkins to Woodpecker CI.

2022-03-15 23:26:55 +00:00 · 2022-03-15 23:26:55 +00:00 · c130290a11
parent 180148b6c4
commit c130290a11
2 changed files with 5 additions and 12 deletions
--- a/.ci/Jenkinsfile
+++ b/.ci/Jenkinsfile
@ -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)"'
-            }
-        }
-    }
-} 
-
--- a/.woodpecker.yml
+++ b/.woodpecker.yml
@ -0,0 +1,5 @@
+pipeline:
+  build:
+    image: docker.io/texlive/texlive
+    commands:
+      - latexmk -cd examples -pdf