Fixed URL to build artifacts.

Generate PDF documentation.
2022-03-25 10:21:38 +00:00 · 2022-03-25 10:21:17 +00:00
2 changed files with 3 additions and 3 deletions
--- a/.woodpecker/README.md
+++ b/.woodpecker/README.md
@ -9,5 +9,5 @@ It may also contain additional tools and script that are useful for preparing a

 ### Latest Build

-* [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/)
+* [browser_info](https://artifacts.logicalhacking.com/ci/afp-mirror/UPF/main/latest/browser_info/AFP/UPF/)
+* [aux files](https://artifacts.logicalhacking.com/ci/afp-mirror/UPF/main/latest/)
--- a/.woodpecker/build.yml
+++ b/.woodpecker/build.yml
@ -4,7 +4,7 @@ pipeline:
    commands:
      - export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/
      - mkdir -p $ARTIFACT_DIR
-      - isabelle build -D UPF -o browser_info
+      - isabelle build -D UPF -o browser_info  -o document=pdf
      - export `isabelle getenv ISABELLE_HOME_USER`
      - cp -r $ISABELLE_HOME_USER/browser_info $ARTIFACT_DIR
      - cd $ARTIFACT_DIR
Author	SHA1	Message	Date
Achim D. Brucker	ec99c91d35	Fixed URL to build artifacts. ci/woodpecker/push/build Pipeline was successful Details	2022-03-25 10:21:38 +00:00
Achim D. Brucker	fb1b0c6638	Generate PDF documentation.	2022-03-25 10:21:17 +00:00