Achim D. Brucker
e12abadc94
ci/woodpecker/push/build Pipeline failed
Details
|
||
---|---|---|
.. | ||
README.md | ||
build.yml | ||
check_dangling_theories | ||
check_external_file_refs | ||
check_quick_and_dirty | ||
mk_release |
README.md
Continuous Build and Release Setup
This directory contains the CI configuration for the Woodpecker CI. It may also contain additional tools and script that are useful for preparing a release.
Generated Artifacts
Latest Build
- lualatex
- pdflatex
- Isabelle_DOF-Unreleased_Isabelle2022.tar.xz