312
74%
master: 79%

Ran 02 Oct 2019 11:09AM UTC

Jobs 8

Files 56

Run time 8min

Badge

Build # 312

Build Type

push

travis-ci

Committed by

Commit Message

upgraded REDUCE to revision 5129

Run Details

4688 of 6249 relevant lines covered (75.02%)

980.71 hits per line

ID	Job ID	Ran	Files	Coverage
1	312.1	02 Oct 2019 11:10AM UTC	8	72.07	Travis Job 312.1
2	312.2	02 Oct 2019 11:10AM UTC	8	76.92	Travis Job 312.2
3	312.3	02 Oct 2019 11:09AM UTC	8	76.53	Travis Job 312.3
4	312.4	02 Oct 2019 11:12AM UTC	8	71.4	Travis Job 312.4
5	312.5	02 Oct 2019 11:12AM UTC	8	75.92	Travis Job 312.5
6	312.6	02 Oct 2019 11:17AM UTC	8	75.53	Travis Job 312.6
7	312.7	02 Oct 2019 11:13AM UTC	8	76.58	Travis Job 312.7
8	312.8	02 Oct 2019 11:17AM UTC	8	75.58	Travis Job 312.8