Add CI badge in the README.md

leanprover · Feb 9, 2024 · b7f954c · b7f954c
1 parent 32ec34a
commit b7f954c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,4 +1,5 @@
 # LNSym: Native Code Symbolic Simulator in Lean
+[![Makefile CI](https://github.com/leanprover/LNSym/actions/workflows/makefile.yml/badge.svg)](https://github.com/leanprover/LNSym/actions/workflows/makefile.yml)
 
 ## Project status