OpenPonk
/
petrinets
/
37222156562
87%
|
Ran
|
Jobs
4
|
Files
91
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 86.808%. Remained the same
push
github
JanBliznicenko1520 of 1751 relevant lines covered (86.81%)
3.47 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 37222156562.1 | 91 |
86.81
|
||
| 2 | 37222156562.2 | 91 |
86.81
|
||
| 3 | 37222156562.3 | 91 |
86.81
|
||
| 4 | 37222156562.4 | 91 |
86.81
|
