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

mbarbin / git-pager / 72

Builds Branch Commit Type Ran Committer Via Coverage
72 main Prepare file for future 5.5 CI (currently unused) push 29 Apr 2026 07:12PM UTC mbarbin github
91.67
71 main Upgrade deploy-pages (node 24 warning) push 12 Apr 2026 01:53PM UTC mbarbin github
91.67
70 main Upgrade CIs push 12 Apr 2026 11:36AM UTC mbarbin github
91.67
69 main Add coverage annotation for post-installed path push 24 Mar 2026 12:05PM UTC mbarbin github
91.67
68 main Use same dune version as project push 24 Mar 2026 11:42AM UTC mbarbin github
91.16
67 main Apply fmt changes push 24 Mar 2026 08:15AM UTC mbarbin github
91.62
66 main Remove left-over unused var (shellcheck) push 17 Mar 2026 11:17AM UTC mbarbin github
91.62
65 main Disable dependabot push 12 Mar 2026 03:16PM UTC mbarbin github
91.62
63 main Improve vscode config push 24 Feb 2026 08:42AM UTC mbarbin github
91.62
62 main Merge pull request #17 from mbarbin/ci-upgrades Ci upgrades push 19 Feb 2026 11:12AM UTC web-flow github
91.62
61 ci-upgrades Merge af88ba6cb into f0118920c Pull #17 19 Feb 2026 09:54AM UTC web-flow github
91.62
59 main Upgrade dunolint workflow push 17 Feb 2026 08:00PM UTC mbarbin github
91.62
58 main Bump setup-dune to v2.0.0+patch-4 and add cache-readonly across repos Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com> push 17 Feb 2026 07:37PM UTC mbarbin github
91.62
57 dependabot/github_actions/actions/checkout-6.0.2 Merge bc50239e3 into ae5a1aeb5 Pull #15 01 Feb 2026 04:06PM UTC web-flow github
91.62
56 main Merge pull request #16 from mbarbin/migrate-main-ci-setup-dune Migrate main ci setup dune push 01 Feb 2026 04:03PM UTC web-flow github
91.62
  • ← Previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • 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