From 82645c2e8e0154b3cda83123c3aa9a82e008eb32 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 30 Oct 2022 17:30:21 +0000 Subject: [PATCH] Update to Isabelle 2022. --- .woodpecker/build.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.woodpecker/build.yml b/.woodpecker/build.yml index a19712aa..a6d9d071 100644 --- a/.woodpecker/build.yml +++ b/.woodpecker/build.yml @@ -1,6 +1,6 @@ pipeline: build: - image: docker.io/logicalhacking/isabelle2021-1 + image: docker.io/logicalhacking/isabelle2022 commands: - export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/$LATEX - mkdir -p $ARTIFACT_DIR @@ -16,7 +16,7 @@ pipeline: - cd ../.. - ln -s * latest archive: - image: docker.io/logicalhacking/isabelle2021-1 + image: docker.io/logicalhacking/isabelle2022 commands: - export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/$LATEX - mkdir -p $ARTIFACT_DIR