Update to Isabelle 2022.

2022-10-29 22:01:23 +01:00 · 2022-10-29 22:01:23 +01:00 · eca181309d
parent d536dcff8a
commit eca181309d
1 changed files with 1 additions and 1 deletions
--- 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