From 8ec7ab833235c71ac701ad4a4fa09aca87008e4f Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Mon, 6 Feb 2017 23:13:31 +0100
Subject: Build status in README

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

diff --git a/README.md b/README.md
index 0198d7d..5b4f169 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,5 @@
+[![Build Status](https://travis-ci.org/math-comp/math-comp.svg?branch=master)](https://travis-ci.org/math-comp/math-comp)
+
 # The Mathematical Components repository
 
 This repository holds the Mathematical Components Library for the Coq system:
-- 
cgit v1.2.3