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

mbarbin / crs / 305

Builds Branch Commit Type Ran Committer Via Coverage
305 main Upgrade crs-actions version push 17 Jan 2026 01:24PM UTC mbarbin github
100.0
304 main Upgrade setup-dune (v2.0.0+patched) push 17 Jan 2026 12:45PM UTC mbarbin github
100.0
303 main Upgrade setup-dune to v2.0.0 push 15 Jan 2026 07:56PM UTC mbarbin github
100.0
302 main Use --only-packages instead of -p in more-ci targets push 06 Jan 2026 12:04PM UTC mbarbin github
100.0
301 main Merge pull request #114 from mbarbin/upgrade-dunolint-preview Upgrade dunolint preview push 03 Jan 2026 08:52AM UTC web-flow github
100.0
300 upgrade-dunolint-preview Merge ec600a2fc into 6080e6eae Pull #114 03 Jan 2026 08:40AM UTC web-flow github
100.0
299 dependabot/github_actions/softprops/action-gh-release-2.5.0 Merge 4ed9f3f38 into 6080e6eae Pull #113 01 Jan 2026 12:21AM UTC web-flow github
100.0
298 main Merge pull request #112 from mbarbin/test-dependabot-user-handle Add tests for dependabot workflows push 24 Dec 2025 09:07AM UTC web-flow github
100.0
297 test-dependabot-user-handle Merge c808ed979 into ff0736052 Pull #112 24 Dec 2025 08:59AM UTC web-flow github
100.0
296 test-dependabot-user-handle Merge fafc067ca into ff0736052 Pull #112 24 Dec 2025 08:37AM UTC web-flow github
100.0
294 main Remove trailing space in this test push 23 Dec 2025 10:03AM UTC mbarbin github
100.0
293 main Merge pull request #111 from mbarbin/config-show-json Use json syntax to show config push 22 Dec 2025 10:53PM UTC web-flow github
100.0
292 config-show-json Merge 2dbe542c2 into 5e77d4166 Pull #111 22 Dec 2025 08:13PM UTC web-flow github
100.0
291 main Merge pull request #110 from mbarbin/inline-sexplib-dep Inline use of dyn to sexp push 22 Dec 2025 07:45PM UTC web-flow github
100.0
290 inline-sexplib-dep Merge 139c13d2d into 2836578d5 Pull #110 22 Dec 2025 07:36PM UTC web-flow github
100.0
  • ← Previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • …
  • 18
  • 19
  • 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