Update README.org

lemastero · Dec 4, 2024 · 6384f29 · 6384f29
1 parent c4a68da
commit 6384f29
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.org b/README.org
@@ -1,3 +1,5 @@
+[![Build CI](https://github.com/lemastero/agda-smash/actions/workflows/main.yml/badge.svg?branch=main)](https://github.com/lemastero/agda-smash/actions/workflows/main.yml?query=branch%3Amain)
+
 * Agda Smash
 
 Formal specification of Haskell [[https://hackage.haskell.org/package/smash/][smash]] library in Agda.