Ran
|
Jobs
1
|
Files
155
|
Run time
7s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
13 of 13 new or added lines in 3 files covered. (100.0%)
8932 of 11359 relevant lines covered (78.63%)
837.83 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
65.36 |
0.19% | app/modules/ws2p/lib/WS2PCluster.ts |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
65.36 |
0.19% | app/modules/ws2p/lib/WS2PCluster.ts |
12 |
84.55 |
-9.76% | app/modules/prover/lib/proof.ts |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 2820.1 (CXX=g++-4.8) | 155 |
78.63 |
Travis Job 2820.1 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|