goblint
/
GobPie
58%
master: 59%
master: 59%
|
Repo Added
|
Files
38
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH update-deps
coverage: 57.976%. First build
github
123 of 237 branches covered (51.9%)
Branch coverage included in aggregate %.
404 of 672 relevant lines covered (60.12%)
2.73 hits per line
Relevant lines Covered
672
RELEVANT LINES
404
COVERED LINES
2.73
HITS PER LINE
Source Files on master
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 22719546440 | update-deps | Merge 6960b0839 into bbe91c58a | Pull #80 |  web-flow |
github |
57.98 |
|
| 22719342195 | update-deps | Merge b5029a398 into bbe91c58a | Pull #80 | web-flow |
github |
57.98 |
|
| 22631213752 | update-deps | Merge 28d97fc82 into bbe91c58a | Pull #80 | web-flow |
github |
57.98 |
|
| 11618982268 | ambiguous-path-bug | Merge 0173a1383 into 83b25653a | Pull #77 | web-flow |
github |
58.2 |
|
| 11618876391 | debt-24-demo-materials | Merge 83b25653a into 96beec2f6 | Pull #76 | web-flow |
github |
58.2 |
|
| 10849225681 | path-step-into-targets | Merge b60d6ba24 into ce3a02340 | Pull #75 | web-flow |
github |
58.2 |
|
| 10849132277 | issue-73 | Merge d14fd1550 into fff58cc4c | Pull #74 | web-flow |
github |
58.52 |
|
| 10846560152 | path-step-into-targets | Merge ce24ae226 into fff58cc4c | Pull #75 | web-flow |
github |
58.2 |
|
| 10846067151 | issue-73 | Merge ffeac79ec into fff58cc4c | Pull #74 | web-flow |
github |
58.52 |
|
| 10846040168 | issue-73 | Merge cde201543 into fff58cc4c | Pull #74 | web-flow |
github |
58.52 |