From 34755583e50bc8a2e3eb0f91350c0b8510422a16 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 26 Mar 2022 10:20:56 +0000
Subject: [PATCH] Initial commit.

---
 .woodpecker/README.md | 13 +++++++++++++
 .woodpecker/build.yml | 23 +++++++++++++++++++++++
 2 files changed, 36 insertions(+)
 create mode 100644 .woodpecker/README.md
 create mode 100644 .woodpecker/build.yml

diff --git a/.woodpecker/README.md b/.woodpecker/README.md
new file mode 100644
index 0000000..e2bc6f7
--- /dev/null
+++ b/.woodpecker/README.md
@@ -0,0 +1,13 @@
+# Continuous Build and Release Setup
+
+[![status-badge](https://ci.logicalhacking.com/api/badges/afp-mirror/Stateful_Protocol_Composition_and_Typing/status.svg)](https://ci.logicalhacking.com/afp-mirror/Stateful_Protocol_Composition_and_Typing)
+
+This directory contains the CI configuration for the [Woodpecker CI](https://woodpecker-ci.org/).
+It may also contain additional tools and script that are useful for preparing a release.
+
+## Generated Artifacts
+
+### Latest Build
+
+* [browser_info](https://artifacts.logicalhacking.com/ci/afp-mirror/Stateful_Protocol_Composition_and_Typing/main/latest/browser_info/AFP/Stateful_Protocol_Composition_and_Typing-devel/)
+* [aux files](https://artifacts.logicalhacking.com/ci/afp-mirror/Stateful_Protocol_Composition_and_Typing/main/latest/)
diff --git a/.woodpecker/build.yml b/.woodpecker/build.yml
new file mode 100644
index 0000000..db2c2e1
--- /dev/null
+++ b/.woodpecker/build.yml
@@ -0,0 +1,23 @@
+pipeline:
+  build:
+    image: docker.io/logicalhacking/isabelle2021-1
+    commands:
+      - export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/
+      - mkdir -p $ARTIFACT_DIR
+      - isabelle build -D Stateful_Protocol_Composition_and_Typing -o browser_info  -o document=pdf
+      - export `isabelle getenv ISABELLE_HOME_USER`
+      - cp -r $ISABELLE_HOME_USER/browser_info $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_OWNER/*
+      target: $CI_REPO_OWNER
+      include: [ "**.*"]
+      key: 
+        from_secret: artifacts_ssh
+      user: artifacts