From 1d4b1483885160abc7e5d1be978becd957886100 Mon Sep 17 00:00:00 2001 From: Dmitry Petrashko Date: Tue, 30 May 2017 13:44:21 +0200 Subject: [PATCH] Make community build button easier to spot --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 254dd553b9fe..a8dec8047acc 100644 --- a/README.md +++ b/README.md @@ -1,9 +1,10 @@ Dotty ===== [![Build Status](http://dotty-ci.epfl.ch/api/badges/lampepfl/dotty/status.svg)](http://dotty-ci.epfl.ch/lampepfl/dotty) -[![Community Build Status](https://travis-ci.org/lampepfl/dotty-community-build.svg?branch=master)](https://travis-ci.org/lampepfl/dotty-community-build) [![Join the chat at https://gitter.im/lampepfl/dotty](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/lampepfl/dotty?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge) +Community build: [![Community Build Status](https://travis-ci.org/lampepfl/dotty-community-build.svg?branch=master)](https://travis-ci.org/lampepfl/dotty-community-build) + * [Homepage](http://dotty.epfl.ch) * [Documentation](http://dotty.epfl.ch/docs) * [FAQ](http://dotty.epfl.ch/#why-dotty)