Fixed woodpecker config.
ci/woodpecker/push/build Pipeline failed Details

This commit is contained in:
Achim D. Brucker 2022-06-26 16:56:46 +01:00
parent 11b309da02
commit f63d922096
1 changed files with 2 additions and 2 deletions

View File

@ -15,7 +15,7 @@ pipeline:
- cd $ARTIFACT_DIR
- cd ../..
- ln -s * latest
build:
archive:
image: docker.io/logicalhacking/isabelle2021-1
commands:
- export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/$LATEX
@ -46,7 +46,7 @@ pipeline:
from_secret: email
from: ci@logicalhacking.com
when:
status: [ changed, failure ]
status: [ failure ]
matrix:
LATEX: