964
87%

Ran 03 Dec 2019 04:58PM UTC

Jobs 1

Files 178

Run time 17s

Badge

Build # 964

Build Type

push

travis-ci

Committed by

Commit Message

doc: hwt typesystem

Run Details

2819 of 3564 branches covered (79.1%)

Branch coverage included in aggregate %.

8318 of 9292 relevant lines covered (89.52%)

0.9 hits per line

ID	Job ID	Ran	Files	Coverage
1	964.1	03 Dec 2019 04:58PM UTC	178	86.63	Travis Job 964.1