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: SELECT
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 master
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  
1048 master chore(util/lua): name convention Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1047 master feat(library/kernel_bindings): justification Lua API Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1046 master fix(kernel/level): warning messages when compiling in release mode Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1045 master fix(tests/kernel/metavar): typo Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1044 master fix(kernel/metavar): wierd memory leak that only happens when compiling with clang++ Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1043 master feat(util/script_state): use recursive_mutex instead of mutex Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1042 master test(util/rb_tree): reduce test time for rb_tree Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1041 master refactor(kernel): separate type_checker and converter Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1040 master test(lua): remove obsolete test Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
See All Builds (497)