2022-03-17 22:28:31 +00:00
|
|
|
pipeline:
|
2022-03-17 22:32:35 +00:00
|
|
|
build:
|
2022-10-30 17:30:21 +00:00
|
|
|
image: docker.io/logicalhacking/isabelle2022
|
2022-03-17 22:28:31 +00:00
|
|
|
commands:
|
2023-03-02 00:23:23 +00:00
|
|
|
- ./.woodpecker/check_dangling_theories
|
2023-02-19 17:28:47 +00:00
|
|
|
- ./.woodpecker/check_external_file_refs
|
2022-03-24 10:00:01 +00:00
|
|
|
- export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/$LATEX
|
2022-03-19 20:29:22 +00:00
|
|
|
- mkdir -p $ARTIFACT_DIR
|
|
|
|
- export `isabelle getenv ISABELLE_HOME_USER`
|
2022-03-26 21:57:22 +00:00
|
|
|
- mkdir -p $ISABELLE_HOME_USER/etc
|
2022-03-24 10:00:01 +00:00
|
|
|
- echo "ISABELLE_PDFLATEX=\"$LATEX --file-line-error\"" >> $ISABELLE_HOME_USER/etc/settings
|
2023-02-21 08:30:07 +00:00
|
|
|
- isabelle build -v -x HOL-Proofs -x Isabelle_DOF-Proofs -D . -o browser_info
|
2023-02-27 09:05:34 +00:00
|
|
|
- isabelle components -u .
|
|
|
|
- isabelle dof_mkroot -q DOF_test
|
|
|
|
- isabelle build -D DOF_test
|
2022-03-19 20:29:22 +00:00
|
|
|
- cp -r $ISABELLE_HOME_USER/browser_info $ARTIFACT_DIR
|
|
|
|
- cd $ARTIFACT_DIR
|
2022-03-26 22:11:03 +00:00
|
|
|
- cd ../..
|
2022-03-19 20:29:22 +00:00
|
|
|
- ln -s * latest
|
2022-06-26 15:56:46 +00:00
|
|
|
archive:
|
2022-10-30 17:30:21 +00:00
|
|
|
image: docker.io/logicalhacking/isabelle2022
|
2022-06-26 15:35:23 +00:00
|
|
|
commands:
|
2022-06-26 15:46:56 +00:00
|
|
|
- export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/$LATEX
|
2022-06-26 15:35:23 +00:00
|
|
|
- mkdir -p $ARTIFACT_DIR
|
|
|
|
- export ISABELLE_VERSION=`isabelle version`
|
|
|
|
- ./.woodpecker/mk_release -d
|
2023-02-27 15:35:52 +00:00
|
|
|
- cp Isabelle_DOF-Unreleased_$ISABELLE_VERSION.tar.xz $ARTIFACT_DIR/../
|
2022-06-26 15:46:56 +00:00
|
|
|
when:
|
|
|
|
matrix:
|
|
|
|
LATEX: lualatex
|
2022-03-19 20:29:22 +00:00
|
|
|
deploy:
|
|
|
|
image: docker.io/drillster/drone-rsync
|
|
|
|
settings:
|
|
|
|
hosts: [ "ci.logicalhacking.com"]
|
|
|
|
port: 22
|
2022-03-20 11:04:23 +00:00
|
|
|
source: .artifacts/$CI_REPO_OWNER/*
|
|
|
|
target: $CI_REPO_OWNER
|
2022-03-19 20:29:22 +00:00
|
|
|
include: [ "**.*"]
|
|
|
|
key:
|
|
|
|
from_secret: artifacts_ssh
|
|
|
|
user: artifacts
|
2022-03-31 05:39:01 +00:00
|
|
|
notify:
|
|
|
|
image: drillster/drone-email
|
|
|
|
settings:
|
|
|
|
host: smtp.0x5f.org
|
|
|
|
username: woodpecker
|
|
|
|
password:
|
|
|
|
from_secret: email
|
|
|
|
from: ci@logicalhacking.com
|
|
|
|
when:
|
2022-06-26 15:56:46 +00:00
|
|
|
status: [ failure ]
|
2022-03-19 20:29:22 +00:00
|
|
|
|
2022-03-24 10:00:01 +00:00
|
|
|
matrix:
|
|
|
|
LATEX:
|
|
|
|
- lualatex
|
2022-06-26 16:23:53 +00:00
|
|
|
- pdflatex
|