soonhokong / lean
76%

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 master
branch: master
CHANGE BRANCH
x

1048

push

travis-ci

leodemoura 
chore(util/lua): name convention

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

8168 of 10809 relevant lines covered (75.57%)

169336.99 hits per line

Relevant lines Covered
10809 RELEVANT LINES 8168 COVERED LINES
169336.99 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
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  
1039 master chore(*): add logo Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
See All Builds (497)