From 649f19e1318a12546074a7b646814a5202e672ed Mon Sep 17 00:00:00 2001
From: luigiberducci <luigi.berd@gmail.com>
Date: Thu, 28 Dec 2023 12:50:41 +0100
Subject: [PATCH] rename link to fosco

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 3a4d19f..c280d7e 100644
--- a/README.md
+++ b/README.md
@@ -5,7 +5,7 @@ FOSCo: FOrmal Synthesis of COntrol Barrier Functions
 <p align="center">
 <a href="https://opensource.org/license/bsd-3-clause/"><img alt="License" src="https://img.shields.io/badge/License-BSD_3--Clause-blue.svg"></a>
 <a href="https://python.org"><img alt="Python 3.10" src="https://img.shields.io/badge/python-3.10-blue.svg"></a>
-<a href="https://github.com/luigiberducci/cegis_cbf/actions/workflows/tests-on-push.yml/badge.svg"><img alt="Workflow Status" src="https://github.com/luigiberducci/cegis_cbf/actions/workflows/tests-on-push.yml/badge.svg"></a>
+<a href="https://github.com/luigiberducci/fosco/actions/workflows/tests-on-push.yml/badge.svg"><img alt="Workflow Status" src="https://github.com/luigiberducci/fosco/actions/workflows/tests-on-push.yml/badge.svg"></a>
 <a href="https://github.com/psf/black"><img alt="Code style: black" src="https://img.shields.io/badge/code%20style-black-000000.svg"></a>
 </p>