2133
85%

Ran 10 Dec 2014 03:22AM UTC

Jobs 1

Files 312

Run time 2min

Badge

Embed ▾

pending completion

Build # 2133

Build Type

push

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

Run Details

28847 of 32525 relevant lines covered (88.69%)

1559376.91 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	2133.1 (CMAKE_CXX_COMPILER=g++-4.8 CMAKE_BUILD_TYPE=Debug TESTCOV=ON PUSH_TO_CDASH=TRUE TCMALLOC=OFF LUA=52 CONSERVE_MEMORY=ON)	10 Dec 2014 03:22AM UTC	312	88.69	Travis Job 2133.1

Source Files on build 2133

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line

leanprover / lean / 2133
85%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2133

leanprover / lean / 2133 85%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2133

leanprover / lean / 2133
85%

README BADGES
x