Ran
|
Jobs
2
|
Files
6
|
Run time
4min
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
172 of 187 relevant lines covered (91.98%)
22.0 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 205.1 (OCAML_VERSION=4.02) | 6 |
91.98 |
Travis Job 205.1 | |
2 | 205.2 (OCAML_VERSION=4.02 DEPOPTS=lwt DOCS=true KEEP=false) | 6 |
91.98 |
Travis Job 205.2 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|