Merge pull request #444 from gramlang/ci-badge

Bring back the CI badge with the new URL scheme
gramlang · Jan 6, 2025 · f5abde2 · f5abde2
2 parents e29fe64 + 8332da0
commit f5abde2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,5 +1,7 @@
 # The Gram Programming Language
 
+[![Build status](https://github.com/gramlang/gram/actions/workflows/ci.yml/badge.svg?branch=main)](https://github.com/gramlang/gram/actions?query=branch%3Amain)
+
 [Gram](https://www.gram.org) is a programming language for distributed systems.
 
 ## Installation instructions