From 1150ef727d14fe1bccf216c3cf70b37985397001 Mon Sep 17 00:00:00 2001 From: Martijn Date: Thu, 13 Jun 2024 11:08:18 +0200 Subject: [PATCH] Correct build badge url --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index e06b4ff..499528e 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ Collection of utility functions and classes to interface [UPPAAL Stratego](https ## Repo status [![Project Status: Active – The project has reached a stable, usable state and is being actively developed.](https://www.repostatus.org/badges/latest/active.svg)](https://www.repostatus.org/#active) -[![badge](https://github.com/DEIS-Tools/strategoutil/workflows/build/badge.svg)](https://github.com/DEIS-Tools/strategoutil/actions) +[![badge](https://github.com/DEIS-Tools/strategoutil/actions/workflows/build.yml/badge.svg)](https://github.com/DEIS-Tools/strategoutil/actions) [![Documentation Status](https://readthedocs.org/projects/strategoutil/badge/?version=latest)](https://strategoutil.readthedocs.io/en/latest/?badge=latest) See which OS and Python versions combinations are supported [here](https://github.com/DEIS-Tools/strategoutil/actions).