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

form-dev / form / 17235673510
54%
master: 53%

Build:
Build:
LAST BUILD BRANCH: pr/ci/flint-3.4.0
DEFAULT BRANCH: master
Ran 26 Aug 2025 11:02AM 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:42AM UTC coverage: 53.485% (+0.04%) from 53.441%
17235673510

Pull #703

github

web-flow
Merge db914840a into 9ebc2e211
Pull Request #703: Checking FLINT version

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

10 existing lines in 1 file now uncovered.

44510 of 83219 relevant lines covered (53.49%)

2235430.81 hits per line

New Missed Lines in Diff

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

Uncovered Existing Lines

Lines Coverage ∆ File
10
64.18
-0.42% sources/sort.c
Jobs
ID Job ID Ran Files Coverage
1 vorm (extra) (flint - no) - 17235673510.1 26 Aug 2025 11:02AM UTC 66
21.17
GitHub Action Run
2 tvorm (default) (flint - no) - 17235673510.2 26 Aug 2025 11:08AM UTC 67
50.15
GitHub Action Run
3 vorm (default) (flint - no) - 17235673510.3 26 Aug 2025 11:07AM UTC 66
49.61
GitHub Action Run
4 tvorm -w2 (extra) - 17235673510.4 26 Aug 2025 11:07AM UTC 75
21.73
GitHub Action Run
5 tvorm (extra) (flint - no) - 17235673510.5 26 Aug 2025 11:15AM UTC 67
22.2
GitHub Action Run
6 tvorm -w2 (default) (flint - no) - 17235673510.6 26 Aug 2025 11:05AM UTC 67
50.0
GitHub Action Run
7 tvorm (default) - 17235673510.7 26 Aug 2025 11:03AM UTC 75
50.57
GitHub Action Run
8 tvorm -w2 (default) - 17235673510.8 26 Aug 2025 11:02AM UTC 75
50.38
GitHub Action Run
9 tvorm -w2 (extra) (flint - no) - 17235673510.9 26 Aug 2025 11:06AM UTC 67
22.0
GitHub Action Run
10 vorm (extra) - 17235673510.10 26 Aug 2025 11:03AM UTC 74
20.86
GitHub Action Run
11 vorm (default) - 17235673510.11 26 Aug 2025 11:03AM UTC 74
50.05
GitHub Action Run
12 tvorm (extra) - 17235673510.12 26 Aug 2025 11:02AM UTC 75
21.9
GitHub Action Run
Source Files on build 17235673510
  • Tree
  • List 75
  • Changed 7
  • Source Changed 3
  • Coverage Changed 6
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #17235673510
  • Pull Request #703
  • PR Base - master (#17135780053)
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

© 2026 Coveralls, Inc