From 113063351cd0a4f99534c2ea9408b4e8f80836a3 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Fri, 17 Jul 2020 11:30:34 +0200
Subject: add build status

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 30e1237..0f967d2 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Isabelle/HoTT
+# Isabelle/HoTT ![build](https://github.com/jaycech3n/Isabelle-HoTT/workflows/build/badge.svg)
 
 Isabelle/HoTT is an experimental implementation of [homotopy type theory](https://en.wikipedia.org/wiki/Homotopy_type_theory) in the [Isabelle](https://isabelle.in.tum.de/) interactive theorem prover.
 It largely follows the development of the theory in the [Homotopy Type Theory book](https://homotopytypetheory.org/book/), but aims to be general enough to eventually support cubical and other kinds of homotopy type theories.
-- 
cgit v1.2.3