History

Achim D. Brucker e5874396c4 Re-added build badge.		2022-03-27 21:15:10 +01:00
..
README.md	Re-added build badge.	2022-03-27 21:15:10 +01:00
build.yml	Make use of install script optional in favor of registration as Isabelle component. Style files, templates, and scripts are no longer installed into ISABELLE_USER_HOME.	2022-03-27 13:21:55 +01:00
mk_release	Updated release script to new installation setup.	2022-03-27 14:05:05 +01:00

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
- browser_info
- aux files
pdflatex
- browser_info
- aux files