tueda / form / 17232719016
54%
master: 57%

LAST BUILD BRANCH: build/fix-coverage-flags
DEFAULT BRANCH: master
Ran
Jobs 12
Files 75
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 53.501%. First build
17232719016

push

github

tueda 
feat: check FLINT version at runtime

Add a runtime check that disallows FLINT versions earlier than 3.2.0.
Note that the version check is also performed during the configure step.
A runtime failure typically indicates that an incorrect shared library
was linked.

10 of 12 new or added lines in 2 files covered. (83.33%)

44523 of 83219 relevant lines covered (53.5%)

2236080.49 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
2
92.0
 sources/flintwrap.cc
Jobs
ID Job ID Ran Files Coverage
1 tvorm -w2 (extra) - 17232719016.1 75
21.73
 GitHub Action Run
2 vorm (default) (flint - no) - 17232719016.2 66
49.61
 GitHub Action Run
3 tvorm (extra) (flint - no) - 17232719016.3 67
22.2
 GitHub Action Run
4 vorm (extra) - 17232719016.4 74
20.86
 GitHub Action Run
5 vorm (default) - 17232719016.5 74
50.05
 GitHub Action Run
6 tvorm -w2 (extra) (flint - no) - 17232719016.6 67
22.01
 GitHub Action Run
7 tvorm (default) - 17232719016.7 75
50.6
 GitHub Action Run
8 tvorm -w2 (default) - 17232719016.8 75
50.41
 GitHub Action Run
9 tvorm (default) (flint - no) - 17232719016.9 67
50.2
 GitHub Action Run
10 vorm (extra) (flint - no) - 17232719016.10 66
21.17
 GitHub Action Run
11 tvorm (extra) - 17232719016.11 75
21.9
 GitHub Action Run
12 tvorm -w2 (default) (flint - no) - 17232719016.12 67
49.99
 GitHub Action Run
Source Files on build 17232719016