nicolas.meric/Isabelle_DOF
1
0
Fork 0
forked from Isabelle_DOF/Isabelle_DOF
Code Issues Pull Requests Releases Wiki Activity
main
Isabelle_DOF/.woodpecker
History
Achim D. Brucker eac94f2a01 Merge branch 'Isabelle_dev'
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

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