sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

chore(README): update badge links

Browse Source 
See #1213
This commit is contained in:
Leonardo de Moura
2016-12-02 17:17:20 -08:00
parent 5645ee4880
commit 87f53e1ba7
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@@ -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/gebner/lean"><img src="https://ci.appveyor.com/api/projects/status/github/gebner/lean?branch=ci_fixes"/></a></td>
<td><a href="https://ci.appveyor.com/project/leodemoura/lean"><img src="https://ci.appveyor.com/api/projects/status/github/leodemoura/lean?branch=ci_fixes"/></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/gebner/lean"><img src="https://codecov.io/gh/gebner/lean/branch/master/graph/badge.svg" alt="Codecov"/></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>
</tr>
</table>