3999
96%
master: 85%

Ran 28 Sep 2018 04:30AM UTC

Jobs 1

Files 381

Run time 21s

Badge

Build # 3999

Build Type

push

travis-ci

Committed by

Commit Message

feat(bin): GDB pretty printer for lean::buffer

Run Details

747 of 7499 relevant lines covered (9.96%)

0.39 hits per line

ID	Job ID	Ran	Files	Coverage
12	3999.12 (CMAKE_CXX_COMPILER=g++-4.9 CMAKE_BUILD_TYPE=Release TCMALLOC=OFF UPLOAD=linux PUSH_TO_CDASH=TRUE LUA=JIT CONSERVE_MEMORY=ON)	28 Sep 2018 04:30AM UTC	381	9.96	Travis Job 3999.12