Re-added build badge.

This commit is contained in:
Achim D. Brucker 2022-03-27 21:15:10 +01:00
parent 60b7216daa
commit e5874396c4
1 changed files with 1 additions and 0 deletions

View File

@ -1,5 +1,6 @@
# Continuous Build and Release Setup
[![status-badge](https://ci.logicalhacking.com/api/badges/Isabelle_DOF/Isabelle_DOF/status.svg)](https://ci.logicalhacking.com/Isabelle_DOF/Isabelle_DOF)
This directory contains the CI configuration for the [Woodpecker CI](https://woodpecker-ci.org/).
It may also contain additional tools and script that are useful for preparing a release.