Update README.md with CI status badge

epfl-lara · Sep 9, 2024 · cf392b5 · cf392b5
1 parent 13be6ea
commit cf392b5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,3 +1,5 @@
+[![Build Status](https://github.com/epfl-lara/bolts/actions/workflows/bolts-CI.yml/badge.svg?branch=main)](https://github.com/epfl-lara/bolts/actions/workflows/bolts-CI.yml/?branch=main)
+
 # Bolts: Stainless Verified Scala
 
 This repository showcases examples of code verified using