d-led
/
gen_server_virtual_time
/
de7b3bfb5559ce2c08b3587c72e574966b43bb00
85%
|
Ran
|
Jobs
1
|
Files
19
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 88.517% (+0.07%) from 88.449%
push
github
d-led1904 of 2151 relevant lines covered (88.52%)
3121.68 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 10 |
82.22 |
0.4% | lib/virtual_time_gen_state_machine.ex |
| 22 |
80.15 |
0.3% | lib/virtual_time_gen_server.ex |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | de7b3bfb5559ce2c08b3587c72e574966b43bb00.1 | 19 |
88.52 |
GitHub Action Run |
