From a76fd92b33fee7e94ca660e657824d3731905415 Mon Sep 17 00:00:00 2001 From: Luca Geretti Date: Wed, 28 Feb 2024 10:14:59 +0100 Subject: [PATCH] Address badge paths for Actions --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 9fefe7fe4..4f89581a8 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ # Ariadne Ariadne -[![License: GPL v3](https://img.shields.io/badge/License-GPL%20v3-blue.svg)](https://www.gnu.org/licenses/gpl-3.0) [![Release Status](https://github.com/ariadne-cps/ariadne/workflows/release.yml/badge.svg)](https://github.com/ariadne-cps/ariadne/actions/workflows/release.yml/badge.svg) [![Debug Status](https://github.com/ariadne-cps/ariadne/workflows/debug.yml/badge.svg)](https://github.com/ariadne-cps/ariadne/actions/workflows/debug.yml/badge.svg) [![codecov](https://codecov.io/gh/ariadne-cps/ariadne/branch/master/graph/badge.svg)](https://codecov.io/gh/ariadne-cps/ariadne) +[![License: GPL v3](https://img.shields.io/badge/License-GPL%20v3-blue.svg)](https://www.gnu.org/licenses/gpl-3.0) [![Release Status](https://github.com/ariadne-cps/ariadne/workflows/release.yml/badge.svg)](https://github.com/ariadne-cps/ariadne/actions/workflows/release.yml) [![Debug Status](https://github.com/ariadne-cps/ariadne/workflows/debug.yml/badge.svg)](https://github.com/ariadne-cps/ariadne/actions/workflows/debug.yml) [![codecov](https://codecov.io/gh/ariadne-cps/ariadne/branch/master/graph/badge.svg)](https://codecov.io/gh/ariadne-cps/ariadne) Ariadne is a tool for reachability analysis and model checking of hybrid systems. Additionally, it is a framework for rigorous computation featuring arithmetic, linear algebra, calculus, geometry, algebraic and differential equations, and optimization solvers.