|
Ran
|
Jobs
7
|
Files
30
|
Run time
1min
|
Badge
README BADGES
|
push
github
16 of 16 new or added lines in 1 file covered. (100.0%)
18 existing lines in 6 files now uncovered.3332 of 4189 relevant lines covered (79.54%)
410926.58 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
92.47 |
-1.21% | src/model.jl |
| 1 |
74.44 |
-1.31% | src/contexts.jl |
| 1 |
80.09 |
-0.34% | src/varinfo.jl |
| 3 |
47.66 |
-2.34% | src/threadsafe.jl |
| 3 |
74.63 |
-3.99% | src/abstract_varinfo.jl |
| 9 |
57.79 |
-5.87% | src/context_implementations.jl |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 11380888537.1 | 30 |
77.3 |
GitHub Action Run | |
| 2 | 11380888537.2 | 30 |
77.1 |
GitHub Action Run | |
| 3 | 11380888537.3 | 30 |
77.42 |
GitHub Action Run | |
| 4 | 11380888537.4 | 30 |
77.42 |
GitHub Action Run | |
| 5 | 11380888537.5 | 30 |
77.57 |
GitHub Action Run | |
| 6 | 11380888537.6 | 30 |
77.42 |
GitHub Action Run | |
| 7 | 11380888537.7 | 30 |
77.42 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|