diff --git a/.woodpecker/build.yml b/.woodpecker/build.yml new file mode 100644 index 0000000..b50a65d --- /dev/null +++ b/.woodpecker/build.yml @@ -0,0 +1,26 @@ +pipeline: + build: + image: docker.io/logicalhacking/isabelle2021 + commands: + - export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO_NAME/$CI_BRANCH/$CI_BUILD_NUMBER/ + - mkdir -p $ARTIFACT_DIR + - export `isabelle getenv ISABELLE_HOME_USER` + - 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 + source: .artifacts/$CI_REPO_NAME/* + target: $CI_REPO_NAME + include: [ "**.*"] + key: + from_secret: artifacts_ssh + user: artifacts + +