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

LAST BUILD BRANCH: pr/ci/flint-3.4.0
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.364% (+0.7%) from 53.699%
17451402004

Pull #703

github

web-flow 
Merge ce61f5155 into e3eeea38a
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.

44441 of 81747 relevant lines covered (54.36%)

2276755.15 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
2
91.84
 -0.97% sources/flintwrap.cc

Uncovered Existing Lines

Lines Coverage ∆ File
2
64.22
 -0.04% sources/sort.c
Jobs
ID Job ID Ran Files Coverage
1 vorm (extra) - 17451402004.1 64
20.96
 GitHub Action Run
2 vorm (default) - 17451402004.2 64
50.95
 GitHub Action Run
3 tvorm -w2 (default) - 17451402004.3 65
51.27
 GitHub Action Run
4 tvorm (extra) - 17451402004.4 65
22.02
 GitHub Action Run
5 tvorm (default) - 17451402004.5 65
51.47
 GitHub Action Run
6 tvorm -w2 (extra) (flint - no) - 17451402004.6 62
22.13
 GitHub Action Run
7 tvorm -w2 (default) (flint - no) - 17451402004.7 62
50.91
 GitHub Action Run
8 vorm (extra) (flint - no) - 17451402004.8 61
21.29
 GitHub Action Run
9 tvorm (default) (flint - no) - 17451402004.9 62
51.08
 GitHub Action Run
10 tvorm (extra) (flint - no) - 17451402004.10 62
22.33
 GitHub Action Run
11 tvorm -w2 (extra) - 17451402004.11 65
21.81
 GitHub Action Run
12 vorm (default) (flint - no) - 17451402004.12 61
50.56
 GitHub Action Run
Source Files on build 17451402004