Ran
|
Jobs
1
|
Files
244
|
Run time
4s
|
Badge
Embed ▾
README BADGES
|
push
github
16905 of 28319 relevant lines covered (59.69%)
54343.22 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
58.33 |
-1.67% | src/domains/accessKind.ml |
6 |
78.79 |
-0.48% | src/analyses/mutexAnalysis.ml |
62 |
84.04 |
-0.32% | src/analyses/libraryFunctions.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 342.1 | 244 |
59.69 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|