forked from Isabelle_DOF/Isabelle_DOF
1.1 KiB
1.1 KiB
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