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

mbarbin / loc / 123

Builds Branch Commit Type Ran Committer Via Coverage
123 main Update setup-dune sha (fix macos build path issue) push 16 Jan 2026 09:59PM UTC mbarbin github
100.0
122 main Upgrade setup-dune (v2.0.0+patched) push 16 Jan 2026 07:53PM UTC mbarbin github
100.0
121 main Improve default settings for GHA permissions push 15 Jan 2026 07:46PM UTC mbarbin github
100.0
120 main Upgrade setup-dune push 13 Jan 2026 03:44PM UTC mbarbin github
100.0
119 setup-dune-v2 Merge 1f2cadef5 into 16bc5a27b Pull #23 13 Jan 2026 12:36PM UTC web-flow github
100.0
118 main Merge pull request #22 from mbarbin/investigate-win-ci-issues Attempt to fix offset tests divergence in Windows CI push 09 Jan 2026 01:07PM UTC web-flow github
100.0
117 investigate-win-ci-issues Merge 4c021dd9f into 263c405d2 Pull #22 09 Jan 2026 12:44PM UTC web-flow github
100.0
116 main Attempt to fix windows CI push 09 Jan 2026 11:16AM UTC mbarbin github
100.0
115 main Prepare dune-workspace files for CI workflows push 09 Jan 2026 09:21AM UTC mbarbin github
100.0
114 main Upgrade dunolint push 04 Jan 2026 03:07PM UTC mbarbin github
100.0
113 main Fix pr link push 22 Dec 2025 08:32AM UTC mbarbin github
100.0
112 main Prepare changelog push 22 Dec 2025 08:19AM UTC mbarbin github
100.0
111 main Upgrade actions/checkout to v6 in CI push 21 Dec 2025 09:03AM UTC mbarbin github
100.0
110 dependabot/github_actions/actions/checkout-6 Merge c085bfa2f into 8e95fc8ea Pull #19 21 Dec 2025 08:19AM UTC web-flow github
100.0
109 main Upgrade actions to v6 push 21 Dec 2025 08:14AM UTC mbarbin github
100.0
  • ← Previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 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