From 6daf6240f510d6310c4872d81d1feb3ea403080f Mon Sep 17 00:00:00 2001 From: Andrey Mokhov Date: Sun, 16 Apr 2017 02:36:51 +0100 Subject: [PATCH] Add CI badge --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 7f65038..16ca07d 100644 --- 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.