8
96%
master: 85%

Ran 26 Feb 2019 02:36AM UTC

Files 1

Run time 0s

Badge

Committed 01 Dec 2016 06:16PM UTC coverage: 95.527%. First build

Job # CMAKE_CXX_COMPILER=g++-4.9 CMAKE_BUILD_TYPE=Release TCMALLOC=OFF UPLOAD=linux PUSH_TO_CDASH=TRUE CONSERVE_MEMORY=ON

Build Type

push

travis-ci

Committed by

leodemoura

Commit Message

fix(kernel/expr, kernel/level): if caching is enabled during finalization, these modules would register a finalizer after finalization of the main thread

The deleted lines were not really needed. They were added before we had
the thread finalization code.

Run Details

149 of 168 branches covered (88.69%)

299 of 313 relevant lines covered (95.53%)

30.96 hits per line

leanprover / lean / 4452 / 8
96%
master: 85%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 4452.8 (CMAKE_CXX_COMPILER=g++-4.9 CMAKE_BUILD_TYPE=Release TCMALLOC=OFF UPLOAD=linux PUSH_TO_CDASH=TRUE CONSERVE_MEMORY=ON)

leanprover / lean / 4452 / 8 96% master: 85%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 4452.8 (CMAKE_CXX_COMPILER=g++-4.9 CMAKE_BUILD_TYPE=Release TCMALLOC=OFF UPLOAD=linux PUSH_TO_CDASH=TRUE CONSERVE_MEMORY=ON)

leanprover / lean / 4452 / 8
96%
master: 85%

README BADGES
x