summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorGravatar Dan Liew <daniel.liew@imperial.ac.uk>2015-12-02 09:27:06 +0000
committerGravatar Dan Liew <daniel.liew@imperial.ac.uk>2015-12-02 09:27:06 +0000
commit3e4a58021e7f9b2bd31dd195f9a7b2f02d5b4c02 (patch)
tree73025ca14e446dbc2cf2b29deb954cbc44aa4741 /README.md
parentfe88bf695e1e4422474059932aa2ad588b54f98a (diff)
TravisCI build icon should only show build status for master branch, not
all branches.
Diffstat (limited to 'README.md')
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 224d7196..1dd0ba5a 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@
|-------------------------------|---------------------------------|
| [![linux build status][1]][2] | [![windows_build_status][3]][4] |
-[1]: https://travis-ci.org/boogie-org/boogie.svg
+[1]: https://travis-ci.org/boogie-org/boogie.svg?branch=master
[2]: https://travis-ci.org/boogie-org/boogie
[3]: https://pmbuilds.inf.ethz.ch/buildStatus/icon?job=boogie
[4]: #FIXME