|
Ran
|
Jobs
12
|
Files
65
|
Run time
1min
|
Badge
README BADGES
|
push
github
44456 of 81754 relevant lines covered (54.38%)
2275894.79 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 8 |
87.19 |
-0.14% | sources/flintinterface.cc |
| 12 |
92.21 |
-0.6% | sources/flintwrap.cc |
| 14 |
80.67 |
0.02% | sources/startup.c |
| 31 |
81.13 |
0.71% | sources/setfile.c |
| 92 |
62.22 |
0.02% | sources/sch.c |
| 116 |
75.81 |
11.8% | sources/float.c |
| 959 |
54.37 |
0.2% | sources/pre.c |
| 1363 |
42.71 |
0.43% | sources/compcomm.c |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | vorm (default) - 18127864769.1 | 64 |
50.97 |
GitHub Action Run | |
| 2 | tvorm -w2 (default) - 18127864769.2 | 65 |
51.3 |
GitHub Action Run | |
| 3 | tvorm -w2 (default) (flint - no) - 18127864769.3 | 62 |
50.94 |
GitHub Action Run | |
| 4 | tvorm (extra) (flint - no) - 18127864769.4 | 62 |
22.33 |
GitHub Action Run | |
| 5 | tvorm (default) (flint - no) - 18127864769.5 | 62 |
51.13 |
GitHub Action Run | |
| 6 | tvorm -w2 (extra) - 18127864769.6 | 65 |
21.81 |
GitHub Action Run | |
| 7 | vorm (extra) - 18127864769.7 | 64 |
20.96 |
GitHub Action Run | |
| 8 | tvorm (extra) - 18127864769.8 | 65 |
22.02 |
GitHub Action Run | |
| 9 | tvorm (default) - 18127864769.9 | 65 |
51.45 |
GitHub Action Run | |
| 10 | vorm (extra) (flint - no) - 18127864769.10 | 61 |
21.29 |
GitHub Action Run | |
| 11 | tvorm -w2 (extra) (flint - no) - 18127864769.11 | 62 |
22.13 |
GitHub Action Run | |
| 12 | vorm (default) (flint - no) - 18127864769.12 | 61 |
50.58 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|