diff --git a/.woodpecker/README.md b/.woodpecker/README.md new file mode 100644 index 0000000..2bbf54f --- /dev/null +++ b/.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/) diff --git a/.woodpecker/build.yml b/.woodpecker/build.yml index b50a65d..a320806 100644 --- a/.woodpecker/build.yml +++ b/.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