Home
Features
Pricing
Docs
Announcements
Sign In

leanprover / lean / 5196 / 3
85%
master: 85%

DEFAULT BRANCH: master

Ran 13 Jun 2019 01:53PM UTC

Files 0

Run time –

Badge

README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

[![Coverage Status](https://coveralls.io/repos/github/leanprover/lean/badge.svg)](https://coveralls.io/github/leanprover/lean)

Textile

https://coveralls.io/repos/github/leanprover/lean/badge.svg(Coverage Status)!:https://coveralls.io/github/leanprover/lean

RDoc

{<img src="https://coveralls.io/repos/github/leanprover/lean/badge.svg" alt="Coverage Status" />}[https://coveralls.io/github/leanprover/lean]

HTML

<a href='https://coveralls.io/github/leanprover/lean'><img src='https://coveralls.io/repos/github/leanprover/lean/badge.svg' alt='Coverage Status' /></a>

Rst

.. image:: https://coveralls.io/repos/github/leanprover/lean/badge.svg
:target: https://coveralls.io/github/leanprover/lean

Source Files on job 5196.3 (CMAKE_CXX_COMPILER=g++-6 CMAKE_BUILD_TYPE=Release TCMALLOC=ON)

Tree
List 0
Changed 0
Source Changed 0
Coverage Changed 0

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line

Back to Build 5693
Travis Job 5196.3
5189a002 on github
Next Job for CMAKE_CXX_COMPILER=clang++-3.4 CMAKE_BUILD_TYPE=Release TCMALLOC=ON on master (#5242.2)

STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc