forked from Isabelle_DOF/Isabelle_DOF
.. | ||
build.yml | ||
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