form-dev / form / 18125653280
54%
master: 53%

LAST BUILD BRANCH: qgraf-keywords
DEFAULT BRANCH: master
Ran
Jobs 12
Files 65
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: 54.369% (-0.005%) from 54.374%
18125653280

Pull #703

github

web-flow 
Merge 7813cf63b into 9828301c1
Pull Request #703: Checking FLINT version

9 of 11 new or added lines in 2 files covered. (81.82%)

2 existing lines in 1 file now uncovered.

44449 of 81754 relevant lines covered (54.37%)

2274593.11 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
2
92.21
 -0.94% sources/flintwrap.cc

Uncovered Existing Lines

Lines Coverage ∆ File
2
64.18
 -0.08% sources/sort.c
Jobs
ID Job ID Ran Files Coverage
1 tvorm (default) (flint - no) - 18125653280.1 62
51.09
 GitHub Action Run
2 vorm (extra) (flint - no) - 18125653280.2 61
21.29
 GitHub Action Run
3 tvorm -w2 (default) (flint - no) - 18125653280.3 62
50.87
 GitHub Action Run
4 vorm (default) - 18125653280.4 64
50.95
 GitHub Action Run
5 tvorm -w2 (default) - 18125653280.5 65
51.3
 GitHub Action Run
6 tvorm -w2 (extra) - 18125653280.6 65
21.81
 GitHub Action Run
7 tvorm (extra) - 18125653280.7 65
22.02
 GitHub Action Run
8 tvorm (extra) (flint - no) - 18125653280.8 62
22.31
 GitHub Action Run
9 vorm (extra) - 18125653280.9 64
20.96
 GitHub Action Run
10 tvorm -w2 (extra) (flint - no) - 18125653280.10 62
22.15
 GitHub Action Run
11 vorm (default) (flint - no) - 18125653280.11 61
50.56
 GitHub Action Run
12 tvorm (default) - 18125653280.12 65
51.48
 GitHub Action Run
Source Files on build 18125653280