Build has been canceled!

8
78%
master: 78%

Ran 15 Jan 2016 07:33AM UTC

Files 20

Run time 0s

Badge

Committed 15 Jan 2016 07:19AM UTC coverage: 75.885%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

Documentation errata.

- Conformance status.
- OPAM instructions.
- Packaging.
- Fixed various typos.

Run Details

2700 of 3558 relevant lines covered (75.89%)

427.04 hits per line