|
Ran
|
Jobs
1
|
Files
13
|
Run time
1min
|
Badge
README BADGES
|
push
github
Merge pull request #57 from satoren/no_ub fix: raise error when accessing shared type after deletion
239 of 280 relevant lines covered (85.36%)
13.43 hits per line
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | a8ea7cac7a6261b8b6b2e61d9ddd5d6ba54cca86.1 | 0 |
85.36 |
GitHub Action Run |