2022-03-20 11:04:23 +00:00
|
|
|
# Continuous Build and Release Setup
|
|
|
|
|
|
2022-03-27 20:15:10 +00:00
|
|
|
[](https://ci.logicalhacking.com/Isabelle_DOF/Isabelle_DOF)
|
2022-03-20 11:04:23 +00:00
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
2022-03-24 10:00:01 +00:00
|
|
|
* lualatex
|
2022-03-26 22:11:03 +00:00
|
|
|
* [browser_info](https://artifacts.logicalhacking.com/ci/Isabelle_DOF/Isabelle_DOF/main/latest/lualatex/browser_info/Unsorted/)
|
|
|
|
|
* [aux files](https://artifacts.logicalhacking.com/ci/Isabelle_DOF/Isabelle_DOF/main/latest/lualatex/)
|
2022-03-24 10:00:01 +00:00
|
|
|
* pdflatex
|
2022-03-26 22:11:03 +00:00
|
|
|
* [browser_info](https://artifacts.logicalhacking.com/ci/Isabelle_DOF/Isabelle_DOF/main/latest/pdflatex/browser_info/Unsorted/)
|
|
|
|
|
* [aux files](https://artifacts.logicalhacking.com/ci/Isabelle_DOF/Isabelle_DOF/main/latest/pdflatex/)
|
2022-10-30 17:56:15 +00:00
|
|
|
* [Isabelle_DOF-Unreleased_Isabelle2022.tar.xz](https://artifacts.logicalhacking.com/ci/Isabelle_DOF/Isabelle_DOF/main/latest/Isabelle_DOF-Unreleased_Isabelle2022.tar.xz)
|
