1838
96%

Ran 03 Jun 2020 01:09AM UTC

Jobs 6

Files 120

Run time 4min

Badge

Build # 1838

Build Type

push

travis-ci

Committed by

Commit Message

Fix command in "reason-coverage" target

Run Details

5091 of 5322 relevant lines covered (95.66%)

4273.95 hits per line

ID	Job ID	Ran	Files	Coverage
1	1838.1	03 Jun 2020 01:09AM UTC	120	95.67	Travis Job 1838.1
2	1838.2	03 Jun 2020 01:09AM UTC	120	95.67	Travis Job 1838.2
3	1838.3	03 Jun 2020 01:11AM UTC	120	95.22	Travis Job 1838.3
4	1838.4	03 Jun 2020 01:11AM UTC	120	95.22	Travis Job 1838.4
5	1838.5	03 Jun 2020 01:13AM UTC	120	95.22	Travis Job 1838.5
6	1838.6	03 Jun 2020 01:13AM UTC	120	95.22	Travis Job 1838.6