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
Detailed source file information is not available for this build.

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)