From ec263ef544cf392da02d0ef304700406cbd22736 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Tue, 1 Mar 2022 13:13:15 +0000 Subject: [PATCH] Only deploy browser_info directory. --- .woodpecker/README.md | 1 - .woodpecker/build.yml | 1 - 2 files changed, 2 deletions(-) diff --git a/.woodpecker/README.md b/.woodpecker/README.md index 7510564..2d747e8 100644 --- a/.woodpecker/README.md +++ b/.woodpecker/README.md @@ -9,6 +9,5 @@ It may also contain additional tools and script that are useful for preparing a ### Latest Build -* [document.pdf](https://artifacts.logicalhacking.com/ci-confidential/afp-mirror/UPF/main/latest/document.pdf) * [browser_info](https://artifacts.logicalhacking.com/ci-confidential/afp-mirror/UPF/main/latest/browser_info/Unsorted/UPF/) * [aux files](https://artifacts.logicalhacking.com/ci-confidential/afp-mirror/UPF/main/latest/) diff --git a/.woodpecker/build.yml b/.woodpecker/build.yml index dad7b48..e26063f 100644 --- a/.woodpecker/build.yml +++ b/.woodpecker/build.yml @@ -7,7 +7,6 @@ pipeline: - isabelle build -D UPF -o browser_info - export `isabelle getenv ISABELLE_HOME_USER` - cp -r $ISABELLE_HOME_USER/browser_info $ARTIFACT_DIR - - cp output/document.pdf $ARTIFACT_DIR - cd $ARTIFACT_DIR - cd .. - ln -s * latest