Add CI status to README.md

girving · Aug 21, 2024 · 34b3573 · 34b3573
1 parent 4ae99fc
commit 34b3573
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,8 @@
 The Mandelbrot set is connected
 ===============================
 
+[![build](https://github.com/girving/ray/actions/workflows/lean.yml/badge.svg)](https://github.com/girving/ray/actions/workflows/lean.yml)
+
 The goal of this repository is to formalize standard results about the
 Mandelbrot set in Lean. The main result is that [the Mandelbrot set and its
 complement are connected](http://github.com/girving/ray/blob/main/Ray/Dynamics/Mandelbrot.lean#L37), by exhibiting the