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

mbarbin / nofunc-keyed
100%

Build:
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 main
branch: SELECT
CHANGE BRANCH
x
Sync Branches
  • No branch selected
  • apply-lints
  • comparator-witness
  • improve-coverage
  • main
  • map-key-injective
  • modular-explicit-usage
  • nofunc-non-std-libraries-v2
  • nonstd-api-cleanup
  • upgrade-ci-deps
  • upgrade-ocaml-ci

08 Sep 2026 08:03AM UTC coverage: 99.839%. Remained the same
66

push

github

mbarbin
Upgrade OCaml to latest available versions

3093 of 3098 relevant lines covered (99.84%)

41.64 hits per line

Relevant lines Covered
Build:
Build:
3098 RELEVANT LINES 3093 COVERED LINES
41.64 HITS PER LINE
Source Files on main
  • Tree
  • List 31
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
66 main Upgrade OCaml to latest available versions push 08 Sep 2026 08:31AM UTC mbarbin github
99.84
65 main Merge pull request #18 from mbarbin/comparator-witness Add comparator_witness to non-std Map and Set push 26 Aug 2026 02:54PM UTC web-flow github
99.84
64 comparator-witness Merge f423f4e50 into 639f813ed Pull #18 26 Aug 2026 02:48PM UTC web-flow github
99.84
63 main Merge pull request #17 from mbarbin/nonstd-api-cleanup Improve the opinionated (non-std) parts of the project push 25 Aug 2026 06:40PM UTC web-flow github
99.84
62 nonstd-api-cleanup Merge 85070a4ce into a00bf8b77 Pull #17 25 Aug 2026 06:35PM UTC web-flow github
99.84
61 main Merge pull request #16 from mbarbin/apply-lints Apply lints push 25 Aug 2026 12:25PM UTC web-flow github
98.71
60 apply-lints Merge e3ff37cf2 into 9177b7991 Pull #16 25 Aug 2026 12:20PM UTC web-flow github
98.71
59 apply-lints Merge 764808b7d into 9177b7991 Pull #16 25 Aug 2026 12:18PM UTC web-flow github
98.71
58 main Merge pull request #15 from mbarbin/modular-explicit-usage Add new sections for modular explicit usage push 25 Aug 2026 11:50AM UTC web-flow github
98.71
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