Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 1228824

Browse files
KiguliKiguli
authored
Updated badges in README for CI workflows.
Updated badges in README for CI workflows.
1 parent a6dc032 commit 1228824

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎README.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ Note: some new features are being added at the moment, there may be some bugs ca
22

33
# IMPaCT Software Tool
44

5-
[![DOI](https://zenodo.org/badge/739478882.svg)](https://zenodo.org/doi/10.5281/zenodo.11085097) [![Create and publish a Docker image](https://github.com/Kiguli/IMPaCT/actions/workflows/docker.yml/badge.svg)](https://github.com/Kiguli/IMPaCT/actions/workflows/docker.yml)[![CC BY 4.0][cc-by-shield]][cc-by]
5+
[![DOI](https://zenodo.org/badge/739478882.svg)](https://zenodo.org/doi/10.5281/zenodo.11085097) [![Smoke Tests](https://github.com/Kiguli/IMPaCT/actions/workflows/ci-fast.yml/badge.svg)](https://github.com/Kiguli/IMPaCT/actions/workflows/ci-fast.yml)[![Comp Tests](https://github.com/Kiguli/IMPaCT/actions/workflows/ci-comprehensive.yml/badge.svg)](https://github.com/Kiguli/IMPaCT/actions/workflows/ci-comprehensive.yml)[![CC BY 4.0][cc-by-shield]][cc-by]
66

77
**IMPaCT**: <ins>**I**</ins>nterval <ins>**M**</ins>DP <ins>**Pa**</ins>rallel Construction for <ins>**C**</ins>ontroller Synthesis of Large-Scale S<ins>**T**</ins>ochastic Systems.
88

0 commit comments

Comments
 (0)