Update README.md

Fix badge URL, github actions seems to have changed it at some point
rems-project · Oct 10, 2023 · 682f3d1 · 682f3d1
1 parent c3bfb6b
commit 682f3d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 # Isla
 
-![Ubuntu-20.04](https://github.com/rems-project/isla/workflows/Ubuntu-22.04/badge.svg)
+![Ubuntu-20.04](https://github.com/rems-project/isla/actions/workflows/ubuntu_22_04.yml/badge.svg)
 
 Isla is a symbolic execution engine for
 [Sail](https://github.com/rems-project/sail),