Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Changed registry.

This commit is contained in:
Achim D. Brucker 2023-04-27 14:54:22 +01:00
parent 870a4eec57
commit 02bf9620f6
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: pipeline:
build: build:
image: docker.io/logicalhacking/isabelle_nightly:latest image: git.logicalhacking.com/lh-docker/lh-docker-isabelle/isabelle_nightly:latest
commands: commands:
- ./.woodpecker/check_dangling_theories - ./.woodpecker/check_dangling_theories
- ./.woodpecker/check_external_file_refs - ./.woodpecker/check_external_file_refs
@ -20,7 +20,7 @@ pipeline:
- cd ../.. - cd ../..
- ln -s * latest - ln -s * latest
archive: archive:
image: docker.io/logicalhacking/isabelle-dev image: git.logicalhacking.com/lh-docker/lh-docker-isabelle/isabelle_nightly:latest
commands: commands:
- export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/$LATEX - export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/$LATEX
- mkdir -p $ARTIFACT_DIR - mkdir -p $ARTIFACT_DIR