From eca181309d27199998bdb0ae6e675365702e8c8d Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 29 Oct 2022 22:01:23 +0100
Subject: [PATCH] Update to Isabelle 2022.

---
 .woodpecker/build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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