form-dev
/
form
/
15543119875
50%
master: 58%
master: 58%
|
Ran
|
Jobs
12
|
Files
70
|
Run time
4min
|
Badge
Embed ▾
README BADGES
|
coverage: 50.384% (+1.1%) from 49.281%
github
web-flow1185 of 1380 new or added lines in 11 files covered. (85.87%)
1 existing line in 1 file now uncovered.41788 of 82939 relevant lines covered (50.38%)
2640498.84 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
62.85 |
0.38% | sources/sort.c |
| 2 |
84.62 |
sources/flintinterface.h | |
| 10 |
92.81 |
sources/flintwrap.cc | |
| 11 |
85.7 |
8.09% | sources/polywrap.cc |
| 171 |
84.3 |
sources/flintinterface.cc |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
62.85 |
0.38% | sources/sort.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | vorm (extra) (flint - no) - 15543119875.1 | 66 |
4.0 |
GitHub Action Run | |
| 2 | vorm (extra) - 15543119875.2 | 69 |
3.97 |
GitHub Action Run | |
| 3 | tvorm -w2 (extra) (flint - no) - 15543119875.3 | 67 |
4.33 |
GitHub Action Run | |
| 4 | tvorm (extra) - 15543119875.4 | 70 |
4.43 |
GitHub Action Run | |
| 5 | tvorm (extra) (flint - no) - 15543119875.5 | 67 |
4.46 |
GitHub Action Run | |
| 6 | vorm (default) - 15543119875.6 | 69 |
48.79 |
GitHub Action Run | |
| 7 | tvorm -w2 (default) - 15543119875.7 | 70 |
49.04 |
GitHub Action Run | |
| 8 | tvorm -w2 (extra) - 15543119875.8 | 70 |
4.3 |
GitHub Action Run | |
| 9 | tvorm (default) - 15543119875.9 | 70 |
49.23 |
GitHub Action Run | |
| 10 | tvorm -w2 (default) (flint - no) - 15543119875.10 | 67 |
48.65 |
GitHub Action Run | |
| 11 | vorm (default) (flint - no) - 15543119875.11 | 66 |
48.37 |
GitHub Action Run | |
| 12 | tvorm (default) (flint - no) - 15543119875.12 | 67 |
48.81 |
GitHub Action Run |
