tueda / form / 17235671748
54%
master: 57%

LAST BUILD BRANCH: dependabot/github_actions/dot-github/actions/setup-build/actions/cache-5
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%. Remained the same
17235671748

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%)

18 existing lines in 2 files now uncovered.

44523 of 83219 relevant lines covered (53.5%)

2236387.68 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
2
92.0
 0.0% sources/flintwrap.cc

Uncovered Existing Lines

Lines Coverage ∆ File
4
92.0
 0.0% sources/flintwrap.cc
14
80.67
 0.0% sources/startup.c
Jobs
ID Job ID Ran Files Coverage
1 vorm (extra) (flint - no) - 17235671748.1 66
21.17
 GitHub Action Run
2 tvorm (extra) - 17235671748.2 75
21.91
 GitHub Action Run
3 vorm (default) (flint - no) - 17235671748.3 66
49.61
 GitHub Action Run
4 tvorm -w2 (extra) - 17235671748.4 75
21.73
 GitHub Action Run
5 vorm (default) - 17235671748.5 74
50.05
 GitHub Action Run
6 tvorm -w2 (extra) (flint - no) - 17235671748.6 67
22.0
 GitHub Action Run
7 tvorm (default) (flint - no) - 17235671748.7 67
50.17
 GitHub Action Run
8 tvorm (extra) (flint - no) - 17235671748.8 67
22.2
 GitHub Action Run
9 tvorm -w2 (default) (flint - no) - 17235671748.9 67
49.98
 GitHub Action Run
10 tvorm (default) - 17235671748.10 75
50.59
 GitHub Action Run
11 vorm (extra) - 17235671748.11 74
20.86
 GitHub Action Run
12 tvorm -w2 (default) - 17235671748.12 75
50.4
 GitHub Action Run
Source Files on build 17235671748