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

mbarbin / pp-extended / 65

Builds Branch Commit Type Ran Committer Via Coverage
65 main Merge pull request #8 from mbarbin/migrate-main-ci-setup-dune Migrate main ci setup dune push 01 Feb 2026 04:17PM UTC web-flow github
100.0
66 dependabot/github_actions/actions/checkout-6.0.2 Merge 60ee6685c into 1bf9c68ae Pull #7 01 Feb 2026 04:15PM UTC web-flow github
100.0
64 migrate-main-ci-setup-dune Merge aa9b33f51 into 1613c9d68 Pull #8 01 Feb 2026 03:39PM UTC web-flow github
100.0
63 dependabot/github_actions/actions/checkout-6.0.2 Merge 1cf57869a into 1613c9d68 Pull #7 01 Feb 2026 02:08PM UTC web-flow github
100.0
62 main Improve default settings for GHA permissions push 15 Jan 2026 07:23PM UTC mbarbin github
100.0
61 main Set more-ci default shell to bash push 13 Jan 2026 03:18PM UTC mbarbin github
100.0
60 main Define CI packages in an environment section push 08 Jan 2026 03:37PM UTC mbarbin github
100.0
59 edit-more-ci Merge f9015056b into 0a01fd7f5 Pull #6 08 Jan 2026 02:14PM UTC web-flow github
100.0
58 main Lint push 04 Jan 2026 02:39PM UTC mbarbin github
100.0
57 main Initiate codeowners file for gh push 25 Dec 2025 06:34PM UTC mbarbin github
100.0
56 main Adopt OCaml Code of Conduct push 25 Dec 2025 06:06PM UTC mbarbin github
100.0
55 main Merge pull request #5 from mbarbin/render Add function `render` to replace `to_string` push 25 Dec 2025 04:59PM UTC web-flow github
100.0
54 render Merge 07abd02ed into f9b89d67c Pull #5 25 Dec 2025 04:53PM UTC web-flow github
100.0
53 render Merge 0e8064ebc into f9b89d67c Pull #5 25 Dec 2025 04:51PM UTC web-flow github
100.0
52 render Merge 72426729c into f9b89d67c Pull #5 25 Dec 2025 04:49PM UTC web-flow github
100.0
  • ← Previous
  • 1
  • 2
  • 3
  • 4
  • 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