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

mbarbin / auto-format
86%

Build:
DEFAULT BRANCH: main
Repo Added 25 Dec 2025 06:35PM UTC
Files 15
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: main
CHANGE BRANCH
x
Reset
  • main
  • attempt-coverage-ci-fix
  • dependabot/github_actions/actions/checkout-6.0.2
  • migrate-ci-setup-dune
  • myconf-example
  • update-ci-deps
  • upgrade-cis
  • upgrade-dune-3.23.1
  • upgrade-setup-dune-3.21

15 May 2026 03:49PM UTC coverage: 85.922% (+27.2%) from 58.738%
138

push

github

mbarbin
Run the tests first and instrumented after that

Pragmatically when running locally I have observed that this sequence usually
ends up resolving the partial coverage report that otherwise gets generated
sometimes.

That is a an experimental change to adopt dune `3.23.1` to work around the
partial coverage issue. Better fix left as future work.

177 of 206 relevant lines covered (85.92%)

7.6 hits per line

Relevant lines Covered
Build:
Build:
206 RELEVANT LINES 177 COVERED LINES
7.6 HITS PER LINE
Source Files on main
  • Tree
  • List 15
  • Changed 3
  • Source Changed 0
  • Coverage Changed 3
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
138 main Run the tests first and instrumented after that Pragmatically when running locally I have observed that this sequence usually ends up resolving the partial coverage report that otherwise gets generated sometimes. That is a an experimental change... push 15 May 2026 03:52PM UTC mbarbin github
85.92
136 main Remove rm step in CI causing dune IO errors - It is no longer clear why we needed this in the first place. It's possible in the long run an improvement would be to avoid caching _build entirely if this is largely superseded by relocatable+dune-ca... push 15 May 2026 02:51PM UTC mbarbin github
58.74
135 main Merge pull request #21 from mbarbin/upgrade-dune-3.23.1 Upgrade dune in ci to 3.23.1 push 15 May 2026 02:17PM UTC web-flow github
85.92
133 main Enable 5.5 in CI push 05 May 2026 01:08PM UTC mbarbin github
85.92
132 main Prepare file for future 5.5 CI (currently unused) push 29 Apr 2026 06:57PM UTC mbarbin github
85.92
131 main Upgrade deploy-pages (node 24 warning) push 12 Apr 2026 01:50PM UTC mbarbin github
85.92
130 main Upgrade CIs push 12 Apr 2026 11:25AM UTC mbarbin github
85.92
128 main Upgrade ocamlformat to 0.29.0 push 24 Mar 2026 08:07AM UTC mbarbin github
85.92
127 main Remove left-over unused var (shellcheck) push 17 Mar 2026 10:37AM UTC mbarbin github
85.92
126 main Remove obsolete license header config file The list of dir is now derived from `git ls-files`. push 17 Mar 2026 10:27AM UTC mbarbin github
85.92
See All Builds (36)
  • 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