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

tueda / form / 18125652002
54%
master: 57%

Build:
Build:
LAST BUILD BRANCH: dependabot/github_actions/dot-github/actions/setup-build/actions/cache-5
DEFAULT BRANCH: master
Ran 30 Sep 2025 09:52AM UTC
Jobs 12
Files 65
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

30 Sep 2025 09:38AM UTC coverage: 54.367% (+0.3%) from 54.112%
18125652002

push

github

tueda
refactor: remove workaround for FLINT >= 3.0.0 and < 3.2.0

We now require FLINT >= 3.2.0. The workaround is no longer necessary.

44447 of 81754 relevant lines covered (54.37%)

2275204.07 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
2
64.18
-0.08% sources/sort.c
8
87.19
0.0% sources/flintinterface.cc
11
92.21
0.37% sources/flintwrap.cc
27
80.39
0.0% sources/setfile.c
92
62.22
0.02% sources/sch.c
116
75.81
11.8% sources/float.c
961
54.33
0.16% sources/pre.c
1363
42.71
0.43% sources/compcomm.c
Jobs
ID Job ID Ran Files Coverage
1 tvorm -w2 (extra) (flint - no) - 18125652002.1 30 Sep 2025 10:00AM UTC 62
22.15
GitHub Action Run
2 tvorm -w2 (default) (flint - no) - 18125652002.2 30 Sep 2025 09:57AM UTC 62
50.91
GitHub Action Run
3 tvorm (default) (flint - no) - 18125652002.3 30 Sep 2025 10:01AM UTC 62
51.09
GitHub Action Run
4 vorm (extra) (flint - no) - 18125652002.4 30 Sep 2025 09:55AM UTC 61
21.29
GitHub Action Run
5 tvorm (extra) (flint - no) - 18125652002.5 30 Sep 2025 09:56AM UTC 62
22.33
GitHub Action Run
6 tvorm -w2 (extra) - 18125652002.6 30 Sep 2025 09:56AM UTC 65
21.84
GitHub Action Run
7 vorm (extra) - 18125652002.7 30 Sep 2025 09:52AM UTC 64
20.96
GitHub Action Run
8 tvorm (extra) - 18125652002.8 30 Sep 2025 10:01AM UTC 65
22.02
GitHub Action Run
9 tvorm (default) - 18125652002.9 30 Sep 2025 09:56AM UTC 65
51.48
GitHub Action Run
10 vorm (default) - 18125652002.10 30 Sep 2025 09:55AM UTC 64
50.95
GitHub Action Run
11 vorm (default) (flint - no) - 18125652002.11 30 Sep 2025 09:57AM UTC 61
50.56
GitHub Action Run
12 tvorm -w2 (default) - 18125652002.12 30 Sep 2025 09:57AM UTC 65
51.3
GitHub Action Run
Source Files on build 18125652002
  • Tree
  • List 65
  • Changed 12
  • Source Changed 5
  • Coverage Changed 12
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #18125652002
  • 7813cf63 on github
  • Prev Build on pr/flint-version-check (#17451401676)
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