Isabelle_DOF/.woodpecker
Achim D. Brucker eac94f2a01 Merge branch 'Isabelle_dev' 2022-11-02 07:28:23 +00:00
..
README.md Update to Isabelle 2022. 2022-10-30 17:56:15 +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

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