OpenPonk
/
petrinets
/
1235457498
85%
|
Ran
|
Jobs
4
|
Files
62
|
Run time
5min
|
Badge
Embed ▾
README BADGES
|
push
github
Jan Bliznicenko
1059 of 1674 relevant lines covered (63.26%)
2.53 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 1235457498.1 | 0 |
63.26 |
||
| 2 | 1235457498.2 | 0 |
63.26 |
||
| 3 | 1235457498.3 | 0 |
63.26 |
||
| 4 | 1235457498.4 | 0 |
63.26 |
Source Files on build 1235457498
Detailed source file information is not available for this build.