From 4e30aa9f83e55d6760bdeb4a075f9a97d3dd9bcb Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Thu, 12 Apr 2018 13:50:42 +0200
Subject: [PATCH] chore(README): point CI links to lean4 branch

Note, Travis does not have a direct link to builds of a specific branch
---
 README.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index e60000d24c..e628aadcda 100644
--- a/README.md
+++ b/README.md
@@ -5,9 +5,9 @@
   </tr>
   <tr>
     <td><a href="LICENSE"><img src="https://img.shields.io/badge/license-APACHE_2-green.svg?dummy" title="License"/></a></td>
-    <td><a href="https://ci.appveyor.com/project/leodemoura/lean"><img src="https://ci.appveyor.com/api/projects/status/lush6vyy1m0qg6vc/branch/master"/></a></td>
-    <td><a href="https://travis-ci.org/leanprover/lean"><img src="https://travis-ci.org/leanprover/lean.png?branch=master"/></a></td>
-    <td><a href="https://codecov.io/gh/leanprover/lean"><img src="https://codecov.io/gh/leanprover/lean/branch/master/graph/badge.svg" alt="Codecov"/></a></td>
+    <td><a href="https://ci.appveyor.com/project/leodemoura/lean/branch/lean4"><img src="https://ci.appveyor.com/api/projects/status/lush6vyy1m0qg6vc/branch/lean4"/></a></td>
+    <td><a href="https://travis-ci.org/leanprover/lean/branches"><img src="https://travis-ci.org/leanprover/lean.png?branch=lean4"/></a></td>
+    <td><a href="https://codecov.io/gh/leanprover/lean/branch/lean4"><img src="https://codecov.io/gh/leanprover/lean/branch/lean4/graph/badge.svg" alt="Codecov"/></a></td>
     <td><a href="https://leanprover.zulipchat.com"><img src="https://img.shields.io/badge/zulip-join_chat-brightgreen.svg" alt="Join the Zulip chat"/></a></td>
   </tr>
 </table>