From c824ed53b368a79b9e1fa78b6705d75254e9782a Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Tue, 8 Sep 2015 19:10:23 +0200
Subject: [PATCH] Let's have badges

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

diff --git a/README.md b/README.md
index afdc26dbf..12b03c39c 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-Leon 3.0 [![Build Status](https://travis-ci.org/epfl-lara/leon.png?branch=master)](https://travis-ci.org/epfl-lara/leon)
+Leon 3.0 [![Build Status](http://laraquad4.epfl.ch:9000/epfl-lara/leon/status)](http://laraquad4.epfl.ch:9000/epfl-lara/leon)
 ==========
 
 Getting Started
-- 
GitLab