From 10a16e4673230fc5c41856fa987f46f904fffcbe Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 14 Jun 2017 16:18:20 +0200
Subject: Direct link to Travis branch builds.

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

diff --git a/README.md b/README.md
index 91f9c560e8..93ab435411 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # Coq
 
-[![Coq 8.7~alpha](https://travis-ci.org/coq/coq.svg?branch=trunk)](https://travis-ci.org/coq/coq) [![Gitter](https://badges.gitter.im/coq/coq.svg)](https://gitter.im/coq/coq)
+[![Travis](https://travis-ci.org/coq/coq.svg?branch=trunk)](https://travis-ci.org/coq/coq/builds) [![Gitter](https://badges.gitter.im/coq/coq.svg)](https://gitter.im/coq/coq)
 
 Coq is a formal proof management system. It provides a formal language to write
 mathematical definitions, executable algorithms and theorems together with an
-- 
cgit v1.2.3