2132
85%

Ran 26 Jun 2016 10:14PM UTC

Jobs 2

Files 694

Run time 1min

Badge

Embed ▾

pending completion

Build # 2132

Build Type

Pull #374

travis-ci

Committed by

fpvandoorn

Commit Message

feat(library/hott): multiple changes in the HoTT library

Jakob accidentally undid some of my changes in commit aad4592, reverted that;
made style changes in multiple files;
in types/sigma: finished porting Coq-HoTT, and finished unfinished proof;
in axioms/funext: rename path_forall, make arguments implicit and make instance visible

Pull Request Pull Request #374: feat(library/hott): multiple changes in the HoTT library

Run Details

40401 of 70477 relevant lines covered (57.33%)

1.14 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
4	2132.4 (CMAKE_CXX_COMPILER=clang++-3.3 CMAKE_BUILD_TYPE=DEBUG TCMALLOC=OFF PUSH_TO_CDASH=TRUE LUA=52)	26 Jun 2016 10:14PM UTC	694	56.92	Travis Job 2132.4
13	2132.13 (CMAKE_CXX_COMPILER=g++-4.8 CMAKE_BUILD_TYPE=DEBUG TCMALLOC=OFF MEMCHECK=TRUE MEMCHECK_RANGE=40,80 PUSH_TO_CDASH=TRUE LUA=52 CONSERVE_MEMORY=ON)	26 Jun 2016 10:15PM UTC	694	57.3	Travis Job 2132.13

Source Files on build 2132

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line

leanprover / lean / 2132
85%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2132

leanprover / lean / 2132 85%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2132

leanprover / lean / 2132
85%

README BADGES
x