From a89878079efc26fcb23f341fa792f41785c74cbb Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 19 Mar 2022 20:29:22 +0000
Subject: [PATCH] Generate link to latest artifacts.

---
 .woodpecker/build.yml | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

diff --git a/.woodpecker/build.yml b/.woodpecker/build.yml
index 53621d0a..b251e1b4 100644
--- a/.woodpecker/build.yml
+++ b/.woodpecker/build.yml
@@ -2,6 +2,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`
       - ./install
-      - isabelle build -D .
+      - 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
+