adbrucker/isabelle-hacks
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
343e4a4012
isabelle-hacks/.woodpecker
History
Achim D. Brucker 343e4a4012 Added build setup checks.
2023-02-11 22:01:23 +00:00
..
build.yml Added build setup checks. 2023-02-11 22:01:23 +00:00
check_dangling_theories Added build setup checks. 2023-02-11 22:01:23 +00:00
check_external_file_refs Added build setup checks. 2023-02-11 22:01:23 +00:00
check_quick_and_dirty Added build setup checks. 2023-02-11 22:01:23 +00:00
README.md Point directly to session specific HTML files. 2022-03-20 10:42:37 +00:00

README.md

Continuous Build and Release Setup

status-badge

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