|
Ran
|
Jobs
1
|
Files
339
|
Run time
20s
|
Badge
README BADGES
|
push
travis-ci
Merge pull request #3141 from lindig/pool-join Port pool-join rules from Honolulu to Master CP-23535
13489 of 90123 relevant lines covered (14.97%)
305.68 hits per line
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 3 | 3028.3 (BUILD_METHOD=opam-coverage) | 0 |
14.97 |
Travis Job 3028.3 |