OpenPonk
/
petrinets
/
35988078178
87%
|
Ran
|
Jobs
4
|
Files
87
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 86.915% (+0.03%) from 86.884%
push
github
JanBliznicenko4 of 4 new or added lines in 1 file covered. (100.0%)
1468 of 1689 relevant lines covered (86.92%)
3.48 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 35988078178.1 | 87 |
86.92
|
||
| 2 | 35988078178.2 | 87 |
86.92
|
||
| 3 | 35988078178.3 | 87 |
86.92
|
||
| 4 | 35988078178.4 | 87 |
86.92
|
