From 6aaf4d5b28a5284b3b02fa5c410d2d83a711840b Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Fri, 17 Jul 2020 13:48:30 +0200
Subject: link

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

diff --git a/README.md b/README.md
index 0f967d2..23ba6d1 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Isabelle/HoTT ![build](https://github.com/jaycech3n/Isabelle-HoTT/workflows/build/badge.svg)
+# Isabelle/HoTT [![build](https://github.com/jaycech3n/Isabelle-HoTT/workflows/build/badge.svg)](https://github.com/jaycech3n/Isabelle-HoTT/actions?query=workflow%3Abuild)
 
 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