Ran
|
Jobs
2
|
Files
2
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
75 of 75 relevant lines covered (100.0%)
10.56 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
3 | 77.3 (OCAML_VERSION=4.02) | 2 |
100.0 |
Travis Job 77.3 | |
4 | 77.4 (OCAML_VERSION=latest DEPOPTS=mirage-xen) | 2 |
100.0 |
Travis Job 77.4 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|