396878365

Ran 26 Jun 2018 01:34PM UTC

Jobs 1

Files 142

Run time 13s

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	396878365.1	26 Jun 2018 01:34PM UTC	142	89.89	Travis Job