Reorganized CI setup.

.woodpecker/README.md

@@ -0,0 +1,14 @@
+# Continuous Build and Release Setup
+
+[![status-badge](https://ci.logicalhacking.com/api/badges/adbrucker/isabelle-hacks/status.svg)](https://ci.logicalhacking.com/adbrucker/isabelle-hacks)
+
+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
+
+* [document.pdf](https://artifacts.logicalhacking.com/ci/adbrucker/isabelle-hacks/main/latest/document.pdf)
+* [browser_info](https://artifacts.logicalhacking.com/ci/adbrucker/isabelle-hacks/main/latest/browser_info/Unsorted/)
+* [aux files](https://artifacts.logicalhacking.com/ci/adbrucker/isabelle-hacks/main/latest/)

.woodpecker/build.yml

@@ -2,7 +2,7 @@ pipeline:
   build:
     image: docker.io/logicalhacking/isabelle2021
     commands:
-      - export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO_NAME/$CI_BRANCH/$CI_BUILD_NUMBER/
+      - export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/
       - mkdir -p $ARTIFACT_DIR
       - export `isabelle getenv ISABELLE_HOME_USER`
       - isabelle build -D . -o browser_info
@@ -16,8 +16,8 @@ pipeline:
     settings:
       hosts: [ "ci.logicalhacking.com"]
       port: 22
-      source: .artifacts/$CI_REPO_NAME/*
-      target: $CI_REPO_NAME
+      source: .artifacts/$CI_REPO/*
+      target: $CI_REPO
       include: [ "**.*"]
       key:
         from_secret: artifacts_ssh