Continuous Integration: display only the master branch in the README

This will avoid having an error displayed if the last branch build has an error while master is fine
Johanmyst · Mar 10, 2016 · 83e9b88 · 83e9b88
1 parent 1f77f96
commit 83e9b88
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,7 +1,7 @@
 F*: An ML-like language with a type system for program verification
 ===================================================================
 
-[![Build status](https://travis-ci.org/FStarLang/FStar.svg)](https://travis-ci.org/FStarLang/FStar)
+[![Build status](https://travis-ci.org/FStarLang/FStar.svg?branch=master)](https://travis-ci.org/FStarLang/FStar)
 
 ### F\* website