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

mbarbin / nofunc-keyed
99%
main: 100%

Build:
Build:
LAST BUILD BRANCH: comparator-witness
DEFAULT BRANCH: main
Repo Added 17 Feb 2026 07:57PM UTC
Token UHfloWZjRocn8ZpQTDptV4qcu15UA8rYF regen
Build 35 Last
Files 31
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 modular-explicit-usage
branch: modular-explicit-usage
CHANGE BRANCH
x
Reset
Sync Branches
  • modular-explicit-usage
  • apply-lints
  • comparator-witness
  • improve-coverage
  • main
  • map-key-injective
  • nofunc-non-std-libraries-v2
  • nonstd-api-cleanup
  • upgrade-ci-deps
  • upgrade-ocaml-ci

25 Aug 2026 11:45AM UTC coverage: 98.708% (+0.05%) from 98.662%
57

Pull #15

github

web-flow
Merge 6d0c767a4 into d7766d6e9
Pull Request #15: Add new sections for modular explicit usage

103 of 103 new or added lines in 11 files covered. (100.0%)

2904 of 2942 relevant lines covered (98.71%)

13.11 hits per line

Relevant lines Covered
Build:
Build:
2942 RELEVANT LINES 2904 COVERED LINES
13.11 HITS PER LINE
Source Files on modular-explicit-usage
  • Tree
  • List 31
  • Changed 10
  • Source Changed 10
  • Coverage Changed 10
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
57 modular-explicit-usage Merge 6d0c767a4 into d7766d6e9 Pull #15 25 Aug 2026 11:46AM UTC web-flow github
98.71
See All Builds (35)

Badge your Repo: nofunc-keyed

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.

Could not find badge in README.

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

Refresh
  • Settings
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE TRIAL · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc