2022-03-17 22:28:31 +00:00
|
|
|
pipeline:
|
2022-03-17 22:32:35 +00:00
|
|
|
build:
|
2022-03-17 22:28:31 +00:00
|
|
|
image: docker.io/logicalhacking/isabelle2021
|
|
|
|
|
commands:
|
2022-03-20 11:04:23 +00:00
|
|
|
- export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/
|
2022-03-19 20:29:22 +00:00
|
|
|
- mkdir -p $ARTIFACT_DIR
|
|
|
|
|
- export `isabelle getenv ISABELLE_HOME_USER`
|
2022-03-17 22:28:31 +00:00
|
|
|
- ./install
|
2022-03-19 20:29:22 +00:00
|
|
|
- isabelle build -D . -o browser_info
|
|
|
|
|
- cp -r $ISABELLE_HOME_USER/browser_info $ARTIFACT_DIR
|
|
|
|
|
- cp output/document.pdf $ARTIFACT_DIR
|
|
|
|
|
- cd $ARTIFACT_DIR
|
|
|
|
|
- cd ..
|
|
|
|
|
- ln -s * latest
|
|
|
|
|
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-17 22:28:31 +00:00
|
|
|
|
