readme

imandra-ai · Mar 21, 2024 · 71192e7 · 71192e7
1 parent 8b1f1a6
commit 71192e7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,8 @@
 
 # Imandrakit
 
+[![Build and Test](https://github.com/imandra-ai/imandrakit/actions/workflows/main.yml/badge.svg)](https://github.com/imandra-ai/imandrakit/actions/workflows/main.yml)
+
 This is the core library used to build some of Imandra's projects.
 
 It builds on top of [containers](https://github.com/c-cube/ocaml-containers/)