4
54%
master: 57%

Ran 26 Aug 2025 11:17AM UTC

Files 75

Run time 6s

Badge

Embed ▾

Committed 26 Aug 2025 10:41AM UTC coverage: 21.727% (+0.001%) from 21.726%

Job # 17235671748.4

Build Type

push

github

Committed by

tueda

Commit Message

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.

Run Details

18149 of 83531 relevant lines covered (21.73%)

6849.49 hits per line

tueda / form / 17235671748 / 4
54%
master: 57%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job tvorm -w2 (extra) - 17235671748.4

tueda / form / 17235671748 / 4 54% master: 57%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job tvorm -w2 (extra) - 17235671748.4

tueda / form / 17235671748 / 4
54%
master: 57%

README BADGES
x