• 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: SELECT
CHANGE BRANCH
x
  • No branch selected
  • attempt-coverage-ci-fix
  • dependabot/github_actions/actions/checkout-6.0.2
  • main
  • migrate-ci-setup-dune
  • myconf-example
  • update-ci-deps
  • upgrade-cis
  • upgrade-dune-3.23.1
  • upgrade-setup-dune-3.21

12 Aug 2026 12:13PM UTC coverage: 85.922%. Remained the same
140

push

github

mbarbin
Upgrade OCaml to 5.5 in CI

177 of 206 relevant lines covered (85.92%)

7.58 hits per line

Relevant lines Covered
Build:
Build:
206 RELEVANT LINES 177 COVERED LINES
7.58 HITS PER LINE
Source Files on main
  • Tree
  • List 15
  • 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
140 main Upgrade OCaml to 5.5 in CI push 12 Aug 2026 12:22PM UTC mbarbin github
85.92
139 main Migrate CI to 5.5 and dune.3.24 push 12 Aug 2026 12:15PM UTC mbarbin github
85.92
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
137 attempt-coverage-ci-fix Merge ca3e4c09b into e2b49beee Pull #22 15 May 2026 03:43PM UTC web-flow 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
134 upgrade-dune-3.23.1 Merge 67d8a2a6b into 7f235cb2e Pull #21 15 May 2026 02:08PM 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
See All Builds (38)
  • 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