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

form-dev / form / 28853545537
63%

Build:
DEFAULT BRANCH: master
Ran 07 Jul 2026 11:38AM UTC
Jobs 12
Files 66
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

07 Jul 2026 08:46AM UTC coverage: 63.186% (-0.001%) from 63.187%
28853545537

push

github

jodavies
refactor: reduce the size of the thread buckets at larger maxtermsize

Using "large" values of MaxTermSize (say, 5M, 10M, ...) results in
very large allocations for the thread buffers, since they historically
have been ThreadBucketCount(500)/4*MaxTermSize * 2 * workers, which
easily reaches 100GB or more.

Reduce the size of these allocations, such that with the default setup
nothing changes, and then the buffers grow as log(MaxTermSize), up to
the point where we enforce a BUCKETMINTERMS*MaxTermSize limit. Then
they grow linearly, but BUCKETMINTERMS is much smaller than the default
ThreadBucketCount.

6 of 6 new or added lines in 1 file covered. (100.0%)

323 existing lines in 1 file now uncovered.

52341 of 82836 relevant lines covered (63.19%)

10540726.53 hits per line

Coverage Regressions

Lines Coverage ∆ File
323
81.8
-0.13% sources/threads.c
Jobs
ID Job ID Ran Files Coverage
1 tvorm -w2 (extra) (flint - no) - 28853545537.1 07 Jul 2026 11:47AM UTC 63
39.35
GitHub Action Run
2 vorm (extra) - 28853545537.2 07 Jul 2026 11:45AM UTC 65
35.38
GitHub Action Run
3 tvorm (extra) - 28853545537.3 07 Jul 2026 11:47AM UTC 66
36.57
GitHub Action Run
4 vorm (extra) (flint - no) - 28853545537.4 07 Jul 2026 11:40AM UTC 62
38.47
GitHub Action Run
5 vorm (default) (flint - no) - 28853545537.5 07 Jul 2026 11:43AM UTC 62
58.15
GitHub Action Run
6 tvorm (default) (flint - no) - 28853545537.6 07 Jul 2026 11:41AM UTC 63
58.51
GitHub Action Run
7 vorm (default) - 28853545537.7 07 Jul 2026 11:44AM UTC 65
58.46
GitHub Action Run
8 tvorm (default) - 28853545537.8 07 Jul 2026 11:40AM UTC 66
58.82
GitHub Action Run
9 tvorm -w2 (default) (flint - no) - 28853545537.9 07 Jul 2026 11:38AM UTC 63
58.27
GitHub Action Run
10 tvorm -w2 (default) - 28853545537.10 07 Jul 2026 02:23PM UTC 66
58.6
GitHub Action Run
11 tvorm -w2 (extra) - 28853545537.11 07 Jul 2026 11:47AM UTC 66
36.37
GitHub Action Run
12 tvorm (extra) (flint - no) - 28853545537.12 07 Jul 2026 11:42AM UTC 63
39.55
GitHub Action Run
Source Files on build 28853545537
  • Tree
  • List 66
  • Changed 4
  • Source Changed 1
  • Coverage Changed 4
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #28853545537
  • b143fc2b on github
  • Prev Build on master (#28853214975)
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