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

input-output-hk / constrained-generators
77%

Build:
DEFAULT BRANCH: master
Repo Added 06 Oct 2025 05:38PM UTC
Files 33
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

LAST BUILD ON BRANCH master
branch: master
CHANGE BRANCH
x
Reset
  • master
  • HEAD

12 Dec 2025 03:04PM UTC coverage: 77.254% (+0.2%) from 77.045%
472

push

github

web-flow
Fix type errors for NumLike (#71)

10 of 24 new or added lines in 1 file covered. (41.67%)

1 existing line in 1 file now uncovered.

4001 of 5179 relevant lines covered (77.25%)

1.46 hits per line

Relevant lines Covered
Build:
Build:
5179 RELEVANT LINES 4001 COVERED LINES
1.46 HITS PER LINE
Source Files on master
  • Tree
  • List 33
  • Changed 7
  • Source Changed 1
  • Coverage Changed 7
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
472 master Fix type errors for NumLike (#71) push 16 Dec 2025 12:41AM UTC web-flow github
77.25
471 master Fix type errors for NumLike (#71) push 15 Dec 2025 12:43AM UTC web-flow github
77.2
470 master Fix type errors for NumLike (#71) push 14 Dec 2025 12:44AM UTC web-flow github
77.23
469 master Fix type errors for NumLike (#71) push 13 Dec 2025 12:40AM UTC web-flow github
77.23
468 master Fix type errors for NumLike (#71) push 12 Dec 2025 03:11PM UTC web-flow github
77.04
465 master Move strict optimization with ElemPred later (#72) push 12 Dec 2025 02:30PM UTC web-flow github
77.05
461 master cache more things in set generation and be more lazy about `explain` (#67) push 12 Dec 2025 12:42AM UTC web-flow github
77.42
460 master cache more things in set generation and be more lazy about `explain` (#67) push 11 Dec 2025 12:43AM UTC web-flow github
77.38
454 master cache more things in set generation and be more lazy about `explain` (#67) push 10 Dec 2025 12:41AM UTC web-flow github
77.4
453 master cache more things in set generation and be more lazy about `explain` (#67) push 09 Dec 2025 12:40AM UTC web-flow github
77.38
See All Builds (148)
  • Repo on GitHub
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