History

Achim D. Brucker 840c2d63ed ci/woodpecker/push/build Pipeline was successful Details Initial commit.		2023-05-14 17:37:28 +02:00
..
README.md	Point directly to session specific HTML files.	2022-03-20 10:42:37 +00:00
build.yml	Initial commit.	2023-05-14 17:37:28 +02:00
check_dangling_theories	Added build setup checks.	2023-02-11 22:01:23 +00:00
check_external_file_refs	Exclude diff files.	2023-02-12 07:01:23 +00:00
check_quick_and_dirty	Added build setup checks.	2023-02-11 22:01:23 +00:00
profiling.scala	Initial commit.	2023-05-14 17:37:28 +02: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

document.pdf
browser_info
aux files