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

mbarbin / nofunc-keyed
98%

Build:
DEFAULT BRANCH: main
Repo Added 17 Feb 2026 07:57PM UTC
Token UHfloWZjRocn8ZpQTDptV4qcu15UA8rYF regen
Build 17 Last
Files 18
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
  • improve-coverage
  • main
  • upgrade-ci-deps
  • upgrade-ocaml-ci

05 May 2026 01:27PM UTC coverage: 98.392%. Remained the same
48

push

github

mbarbin
Enable 5.5 in CI

2203 of 2239 relevant lines covered (98.39%)

15.52 hits per line

Relevant lines Covered
Build:
Build:
2239 RELEVANT LINES 2203 COVERED LINES
15.52 HITS PER LINE
Source Files on main
  • Tree
  • List 18
  • 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
48 main Enable 5.5 in CI push 05 May 2026 01:56PM UTC mbarbin github
98.39
47 main Prepare file for future 5.5 CI (currently unused) push 29 Apr 2026 07:27PM UTC mbarbin github
98.39
46 main Upgrade CIs push 12 Apr 2026 12:31PM UTC mbarbin github
98.39
45 main Apply fmt changes push 24 Mar 2026 09:01AM UTC mbarbin github
98.39
44 main Remove left-over unused var (shellcheck) push 17 Mar 2026 11:09AM UTC mbarbin github
98.39
43 main Upgrade crs-actions push 13 Mar 2026 09:10AM UTC mbarbin github
98.39
42 main Disable comment-crs-in-pr workflow push 12 Mar 2026 04:27PM UTC mbarbin github
98.39
41 upgrade-ci-deps Merge b742db6bc into bea906875 Pull #12 12 Mar 2026 03:26PM UTC web-flow github
98.39
40 main Add empty package whose name matches the project - I see some errors during internal `dune-release` steps that are caused by the fact that the opam files is missing. This is a workaround to make things work with little changes. I didn't invest... push 19 Feb 2026 08:28AM UTC mbarbin github
98.39
39 main Prepare changelog push 19 Feb 2026 08:16AM UTC mbarbin github
98.39
See All Builds (17)

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 · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc