2
81%
master: 81%

Ran 03 Nov 2016 02:11PM UTC

Files 84

Run time 5s

Badge

Committed 03 Nov 2016 02:08PM UTC coverage: 84.878% (-0.2%) from 85.07%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #144 from project-rig/graph-colouring-cluster-ids

Graph colouring cluster ids

Run Details

5029 of 5925 relevant lines covered (84.88%)

0.85 hits per line