• 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: SELECT
CHANGE BRANCH
x
  • No branch selected
  • HEAD
  • master

21 Jan 2026 12:13PM UTC coverage: 77.357% (+0.02%) from 77.337%
537

push

github

web-flow
Resolve nightly failures (#74)

The reason for removing the benchmarks is:

Criterion build broke, and (more importantly)
The benchmarks weren't used in any meanigful way anyway. When doing any performance work I'd just default to running a given test instead with perf monitoring on and pipe the result to hs-speedscope.

4021 of 5198 relevant lines covered (77.36%)

1.46 hits per line

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

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
537 master Resolve nightly failures (#74) The reason for removing the benchmarks is: Criterion build broke, and (more importantly) The benchmarks weren't used in any meanigful way anyway. When doing any performance work I'd just default to running a given ... push 05 Feb 2026 12:47AM UTC web-flow github
77.36
536 master Resolve nightly failures (#74) The reason for removing the benchmarks is: Criterion build broke, and (more importantly) The benchmarks weren't used in any meanigful way anyway. When doing any performance work I'd just default to running a given ... push 04 Feb 2026 12:45AM UTC web-flow github
77.36
535 master Resolve nightly failures (#74) The reason for removing the benchmarks is: Criterion build broke, and (more importantly) The benchmarks weren't used in any meanigful way anyway. When doing any performance work I'd just default to running a given ... push 03 Feb 2026 12:46AM UTC web-flow github
77.3
534 master Resolve nightly failures (#74) The reason for removing the benchmarks is: Criterion build broke, and (more importantly) The benchmarks weren't used in any meanigful way anyway. When doing any performance work I'd just default to running a given ... push 02 Feb 2026 12:48AM UTC web-flow github
77.38
533 master Resolve nightly failures (#74) The reason for removing the benchmarks is: Criterion build broke, and (more importantly) The benchmarks weren't used in any meanigful way anyway. When doing any performance work I'd just default to running a given ... push 01 Feb 2026 12:50AM UTC web-flow github
77.34
532 master Resolve nightly failures (#74) The reason for removing the benchmarks is: Criterion build broke, and (more importantly) The benchmarks weren't used in any meanigful way anyway. When doing any performance work I'd just default to running a given ... push 31 Jan 2026 12:44AM UTC web-flow github
77.36
531 master Resolve nightly failures (#74) The reason for removing the benchmarks is: Criterion build broke, and (more importantly) The benchmarks weren't used in any meanigful way anyway. When doing any performance work I'd just default to running a given ... push 30 Jan 2026 12:45AM UTC web-flow github
77.3
530 master Resolve nightly failures (#74) The reason for removing the benchmarks is: Criterion build broke, and (more importantly) The benchmarks weren't used in any meanigful way anyway. When doing any performance work I'd just default to running a given ... push 29 Jan 2026 12:45AM UTC web-flow github
77.4
529 master Resolve nightly failures (#74) The reason for removing the benchmarks is: Criterion build broke, and (more importantly) The benchmarks weren't used in any meanigful way anyway. When doing any performance work I'd just default to running a given ... push 28 Jan 2026 12:42AM UTC web-flow github
77.34
528 master Resolve nightly failures (#74) The reason for removing the benchmarks is: Criterion build broke, and (more importantly) The benchmarks weren't used in any meanigful way anyway. When doing any performance work I'd just default to running a given ... push 27 Jan 2026 12:43AM UTC web-flow github
77.36
See All Builds (205)
  • 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

© 2026 Coveralls, Inc