diff --git a/README.md b/README.md
index 72753e735e243d8573be55d4a006827a3baad3c4..fcb5f83197483369c6dee0a37ac40f2f9cc68e20 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-Leon 2.3
+Leon 2.3 [![Build Status](https://travis-ci.org/epfl-lara/leon.png?branch=master)](https://travis-ci.org/epfl-lara/leon)
 ==========
 
 Getting Started