diff --git a/.woodpecker/build.yml b/.woodpecker/build.yml
index 3c00176..00e3508 100644
--- a/.woodpecker/build.yml
+++ b/.woodpecker/build.yml
@@ -1,6 +1,6 @@
 pipeline:
   build:
-    image: docker.io/logicalhacking/isabelle2021
+    image: docker.io/logicalhacking/isabelle2021-1
     commands:
       - export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/$LATEX
       - mkdir -p $ARTIFACT_DIR