14 lines
782 B
Markdown
14 lines
782 B
Markdown
|
# Continuous Build and Release Setup
|
||
|
|
||
|
[![status-badge](https://ci.logicalhacking.com/api/badges/afp-mirror/Automated_Stateful_Protocol_Verification/status.svg)](https://ci.logicalhacking.com/afp-mirror/Automated_Stateful_Protocol_Verification)
|
||
|
|
||
|
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.
|
||
|
|
||
|
## Generated Artifacts
|
||
|
|
||
|
### Latest Build
|
||
|
|
||
|
* [browser_info](https://artifacts.logicalhacking.com/ci/afp-mirror/Automated_Stateful_Protocol_Verification/main/latest/browser_info/AFP/Automated_Stateful_Protocol_Verification-devel/)
|
||
|
* [aux files](https://artifacts.logicalhacking.com/ci/afp-mirror/Automated_Stateful_Protocol_Verification/main/latest/)
|