Only deploy browser_info directory.
ci/woodpecker/push/build Pipeline failed
Details
ci/woodpecker/push/build Pipeline failed
Details
This commit is contained in:
parent
def4a53102
commit
ec263ef544
|
@ -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/)
|
||||
|
|
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue