397505491

Ran 27 Jun 2018 08:13PM UTC

Jobs 1

Files 142

Run time 19s

Badge

Build Type

push

travis-pro

Committed by Richard Gowers

Commit Message

Be more specific about types in unique_int_1d

Run Details

4797 of 5684 branches covered (84.39%)

Branch coverage included in aggregate %.

15482 of 16875 relevant lines covered (91.75%)

0.92 hits per line

ID	Job ID	Ran	Files	Coverage
1	397505491.1	27 Jun 2018 08:13PM UTC	0	89.89	Travis Job