pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update to Isabelle 2022.

This commit is contained in:
Achim D. Brucker 2022-10-30 17:30:21 +00:00
parent f09a2df943
commit 82645c2e8e
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.woodpecker/build.yml
View File

@ -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