adbrucker/isabelle-hacks
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
main
isabelle-hacks/.woodpecker
History
Achim D. Brucker 840c2d63ed
All checks were successful
ci/woodpecker/push/build Pipeline was successful
Details
Initial commit.
2023-05-14 17:37:28 +02: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 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