Ran
|
Jobs
2
|
Files
6
|
Run time
2min
|
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 | |
---|---|---|---|---|---|
2 | 197.2 (OCAML_VERSION=4.02) | 6 |
91.98 |
Travis Job 197.2 | |
3 | 197.3 (OCAML_VERSION=4.02 DEPOPTS=lwt DOCS=true KEEP=false) | 6 |
91.98 |
Travis Job 197.3 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|