afp-mirror
/
Extended_Finite_State_Machine_Inference
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
main
afp-current-Isabelle2021-1
afp-current-Isabelle2021
afp-Extended_Finite_State_Machine_Inference-current-Isabelle2020
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
Extended_Finite_State_Machi.../.woodpecker
History
Achim D. Brucker bf8d7c7dc0
ci/woodpecker/push/build Pipeline failed Details
Switched from Jenkins to Woodpecker CI. 		1 year ago
..
README.md Switched from Jenkins to Woodpecker CI. 1 year ago
build.yml Switched from Jenkins to Woodpecker CI. 1 year ago

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