tueda / form / 17341416636 / 5
54%
master: 58%

LAST BUILD BRANCH: feat/print-feature-list-wip2
DEFAULT BRANCH: master
Ran
Files 67
Run time 5s
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: 22.001% (+0.003%) from 21.998%
17341416636.5

push

github

tueda 
fixup! ci(refactor): extract setup logic into setup-build

Remove "make check" for FLINT because it is slow.

18079 of 82172 relevant lines covered (22.0%)

6962.79 hits per line

Source Files on job tvorm -w2 (extra) (flint - no) - 17341416636.5