#100
96%
master: 96%

Ran 02 Aug 2017 09:12PM UTC

Jobs 1

Files 81

Run time 8s

Badge

Build # #100

Build Type

circle-ci

Committed by

Commit Message

Updated proof to strictly be 834 chars

Run Details

58 of 58 new or added lines in 2 files covered. (100.0%)

11243 of 11699 relevant lines covered (96.1%)

0.96 hits per line

ID	Job ID	Ran	Files	Coverage
1	#100.1	02 Aug 2017 09:12PM UTC	0	96.1

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line