soonhokong / lean
57%
master: 76%

LAST BUILD BRANCH: 0.1
DEFAULT BRANCH: master
Repo Added
Files 220
Badge
Embed ▾
README BADGES
x

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

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH 0.1
branch: 0.1
CHANGE BRANCH
x

1890

push

travis-ci

leodemoura 
fix(frontends/lean): convert paths to cygwin paths in a cygwin binary

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

13034 of 22895 relevant lines covered (56.93%)

60361.54 hits per line

Relevant lines Covered
22895 RELEVANT LINES 13034 COVERED LINES
60361.54 HITS PER LINE
Source Files on 0.1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1890 0.1 fix(frontends/lean): convert paths to cygwin paths in a cygwin binary Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
See All Builds (497)