Isabelle_DOF/.woodpecker
2022-11-02 07:28:23 +00:00
..
build.yml Update to Isabelle 2022. 2022-10-30 17:30:21 +00:00
mk_release Fixed typo. 2022-10-30 21:15:45 +00:00
README.md Update to Isabelle 2022. 2022-10-30 17:56:15 +00:00

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