• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

tueda / form / 17235671748
54%
master: 57%

Build:
Build:
LAST BUILD BRANCH: dependabot/github_actions/dot-github/actions/setup-build/actions/cache-5
DEFAULT BRANCH: master
Ran 26 Aug 2025 10:56AM UTC
Jobs 12
Files 75
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

26 Aug 2025 10:41AM UTC coverage: 53.501%. Remained the same
17235671748

push

github

tueda
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.

10 of 12 new or added lines in 2 files covered. (83.33%)

18 existing lines in 2 files now uncovered.

44523 of 83219 relevant lines covered (53.5%)

2236387.68 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
2
92.0
0.0% sources/flintwrap.cc

Uncovered Existing Lines

Lines Coverage ∆ File
4
92.0
0.0% sources/flintwrap.cc
14
80.67
0.0% sources/startup.c
Jobs
ID Job ID Ran Files Coverage
1 vorm (extra) (flint - no) - 17235671748.1 26 Aug 2025 10:59AM UTC 66
21.17
GitHub Action Run
2 tvorm (extra) - 17235671748.2 26 Aug 2025 11:00AM UTC 75
21.91
GitHub Action Run
3 vorm (default) (flint - no) - 17235671748.3 26 Aug 2025 10:58AM UTC 66
49.61
GitHub Action Run
4 tvorm -w2 (extra) - 17235671748.4 26 Aug 2025 10:56AM UTC 75
21.73
GitHub Action Run
5 vorm (default) - 17235671748.5 26 Aug 2025 10:57AM UTC 74
50.05
GitHub Action Run
6 tvorm -w2 (extra) (flint - no) - 17235671748.6 26 Aug 2025 11:01AM UTC 67
22.0
GitHub Action Run
7 tvorm (default) (flint - no) - 17235671748.7 26 Aug 2025 10:58AM UTC 67
50.17
GitHub Action Run
8 tvorm (extra) (flint - no) - 17235671748.8 26 Aug 2025 10:59AM UTC 67
22.2
GitHub Action Run
9 tvorm -w2 (default) (flint - no) - 17235671748.9 26 Aug 2025 11:01AM UTC 67
49.98
GitHub Action Run
10 tvorm (default) - 17235671748.10 26 Aug 2025 11:00AM UTC 75
50.59
GitHub Action Run
11 vorm (extra) - 17235671748.11 26 Aug 2025 10:57AM UTC 74
20.86
GitHub Action Run
12 tvorm -w2 (default) - 17235671748.12 26 Aug 2025 11:01AM UTC 75
50.4
GitHub Action Run
Source Files on build 17235671748
  • Tree
  • List 75
  • Changed 3
  • Source Changed 0
  • Coverage Changed 3
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #17235671748
  • db914840 on github
  • Prev Build on pr/flint-version-check (#17232719016)
  • Next Build on pr/flint-version-check (#17450908434)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc