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

LAST BUILD BRANCH: grcc-fixes
DEFAULT BRANCH: master
Ran
Files 61
Run time 12s
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: 50.56% (+0.6%) from 49.92%
17451402004.12

Pull #703

github

web-flow 
Merge ce61f5155 into e3eeea38a
Pull Request #703: Checking FLINT version

39023 of 77181 relevant lines covered (50.56%)

475731.23 hits per line

Source Files on job vorm (default) (flint - no) - 17451402004.12