2
54%
master: 53%

Ran 26 Aug 2025 09:22AM UTC

Files 66

Run time 7s

Badge

Embed ▾

Committed 26 Aug 2025 08:34AM UTC coverage: 49.613%. First build

Job # 17232719016.2

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

38975 of 78558 relevant lines covered (49.61%)

467611.51 hits per line

tueda / form / 17232719016 / 2
54%
master: 53%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

tueda / form / 17232719016 / 2 54% master: 53%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

tueda / form / 17232719016 / 2
54%
master: 53%

README BADGES
x