Update README.md

imitator-model-checker · Dec 20, 2023 · cc0ec4b · cc0ec4b
1 parent aeb3542
commit cc0ec4b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,7 +1,7 @@
 imitator
 ========
 
-![Travis (.org) branch](https://img.shields.io/travis/imitator-model-checker/imitator/master.svg)
+[![CI](https://github.com/imitator-model-checker/imitator/actions/workflows/workflow.yml/badge.svg?branch=master)](https://github.com/imitator-model-checker/imitator/actions/workflows/workflow.yml)
 ![GitHub](https://img.shields.io/github/license/imitator-model-checker/imitator.svg)
 
 [IMITATOR](https://www.imitator.fr) [[Andre21]](https://www.doi.org/10.1007/978-3-030-81685-8_26) is an open source software tool to perform automated parameter synthesis for concurrent timed systems.