Merge pull request #9 from lemastero/add-badge

Add CI badge to README.md
lemastero · Nov 22, 2023 · f2c58a7 · f2c58a7
2 parents 3577783 + 8346190
commit f2c58a7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,3 +1,5 @@
+[![CI](https://github.com/lemastero/agda2scala/actions/workflows/haskell.yml/badge.svg?branch=main)](https://github.com/lemastero/agda2scala/actions?query=workflow%3A%22build%22+branch%3Amain)
+
 # agda2scala
 
 ## Working with source code