Update Travis links

algebraic-graphs · Nov 25, 2017 · 021a1d9 · 021a1d9
1 parent 06af439
commit 021a1d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,6 +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)
+[![Build Status](https://travis-ci.org/algebraic-graphs/agda.svg?branch=master)](https://travis-ci.org/algebraic-graphs/agda)
 
 We use Agda to formalise the theory of [algebraic graphs](https://github.com/snowleopard/alga-paper)
 and prove a few key theorems.