OpenPonk
/
petrinets
/
37015658107
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 | 37015658107.1 | 91 |
86.81
|
||
| 2 | 37015658107.2 | 91 |
86.81
|
||
| 3 | 37015658107.3 | 91 |
86.81
|
||
| 4 | 37015658107.4 | 91 |
86.81
|
