README: update CI badge

FStarLang · Jan 9, 2025 · 3468bdd · 3468bdd
1 parent 6d92064
commit 3468bdd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -3,7 +3,7 @@ KaRaMeL
 
 | Linux  |
 |---------|
-| [![Build and Deploy](https://github.com/FStarLang/karamel/actions/workflows/linux-x64-hierarchic.yaml/badge.svg)](https://github.com/FStarLang/karamel/actions/workflows/linux-x64-hierarchic.yaml) |
+[![CI](https://github.com/FStarLang/karamel/actions/workflows/ci.yml/badge.svg)](https://github.com/FStarLang/karamel/actions/workflows/ci.yml)
 
 KaRaMeL (formerly known as KReMLin) is a tool that extracts an F\* program to
 readable C code: K&R meets ML!