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

mbarbin / auto-format / 138

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
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
130 main Upgrade CIs push 12 Apr 2026 11:25AM UTC mbarbin github
85.92
129 upgrade-cis Merge 851d518eb into faa9312b5 Pull #20 12 Apr 2026 11:14AM UTC web-flow 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
125 main Merge branch 'flatten-stdlib' push 16 Mar 2026 03:35PM UTC mbarbin github
85.92
124 main Support per directory headers when needed push 16 Mar 2026 10:01AM UTC mbarbin github
85.92
  • ← Previous
  • 1
  • 2
  • 3
  • Next →
  • Back to Repo
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