isabelle-hacks/.woodpecker
Achim D. Brucker b71825b3d4
All checks were successful
ci/woodpecker/push/build Pipeline was successful
Fixed artifact deployment.
2022-03-20 10:38:58 +00:00
..
build.yml Fixed artifact deployment. 2022-03-20 10:38:58 +00:00
README.md Reorganized CI setup. 2022-03-20 10:36:46 +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