OpenPonk
/
petrinets
/
38008124356
87%
master: 87%
master: 87%
|
Ran
|
Jobs
8
|
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%)
6.94 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 38008124356.1 | 91 |
86.81
|
||
| 2 | 38008124356.2 | 91 |
86.81
|
||
| 3 | 38008124356.3 | 91 |
86.81
|
||
| 4 | 38008124356.4 | 91 |
86.81
|
||
| 5 | 38008124356.5 | 91 |
86.81
|
||
| 6 | 38008124356.6 | 91 |
86.81
|
||
| 7 | 38008124356.7 | 91 |
86.81
|
||
| 8 | 38008124356.8 | 91 |
86.81
|
