8053
37%

Ran 13 Jun 2018 11:32PM UTC

Jobs 1

Files 269

Run time 29s

Badge

Build # 8053

Build Type

push

travis-ci

Committed by

Commit Message

progress: remove a set of unused defines

Reported-by: Peter Wu
Closes #2654

Run Details

20963 of 27908 relevant lines covered (75.11%)

179925.92 hits per line

ID	Job ID	Ran	Files	Coverage
20	8053.20 (T=coverage)	13 Jun 2018 11:32PM UTC	269	75.11	Travis Job 8053.20