diff --git a/README.md b/README.md
index afdc26dbf8916e6ee3b1c7e01e99182e94c6e1f1..12b03c39c6644ffb0eef600ca911fd70210599c5 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