315
74%
master: 79%

Ran 02 Oct 2019 11:35AM UTC

Jobs 8

Files 56

Run time 8min

Badge

Build # 315

Build Type

push

travis-ci

Committed by

Commit Message

upgraded REDUCE to revision 5129

Run Details

4795 of 6365 relevant lines covered (75.33%)

963.31 hits per line

ID	Job ID	Ran	Files	Coverage
1	315.1	02 Oct 2019 11:36AM UTC	8	72.07	Travis Job 315.1
2	315.2	02 Oct 2019 11:35AM UTC	8	76.92	Travis Job 315.2
3	315.3	02 Oct 2019 11:35AM UTC	8	76.53	Travis Job 315.3
4	315.4	02 Oct 2019 11:38AM UTC	8	71.4	Travis Job 315.4
5	315.5	02 Oct 2019 11:38AM UTC	8	75.92	Travis Job 315.5
6	315.6	02 Oct 2019 11:43AM UTC	8	75.53	Travis Job 315.6
7	315.7	02 Oct 2019 11:39AM UTC	8	76.58	Travis Job 315.7
8	315.8	02 Oct 2019 11:44AM UTC	8	75.58	Travis Job 315.8