Add CI badge

algebraic-graphs · Apr 16, 2017 · 6daf624 · 6daf624
1 parent deb7546
commit 6daf624
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,4 +1,6 @@
 # The theory of algebraic graphs
 
+[![Build Status](https://travis-ci.org/snowleopard/alga-theory.svg?branch=master)](https://travis-ci.org/snowleopard/alga-theory)
+
 We use Agda to formalise the theory of [algebraic graphs](https://github.com/snowleopard/alga)
 and prove a few key theorems.