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

mbarbin / vcs / 419

Builds Branch Commit Type Ran Committer Via Coverage
419 main Lint push 04 Jan 2026 02:46PM UTC mbarbin github
100.0
417 upgrade-dunolint-preview Merge 63fcda565 into 6361b17ce Pull #120 03 Jan 2026 08:42AM UTC web-flow github
100.0
416 main Add Dyn and Ordering as standard deps push 24 Dec 2025 02:06PM UTC mbarbin github
100.0
415 add-dyn-to-stdlib Merge 6361b17ce into 7ae34348a Pull #119 24 Dec 2025 01:58PM UTC web-flow github
100.0
414 main Merge pull request #118 from mbarbin/initiate-local-stdlib Initiate local stdlib push 24 Dec 2025 01:44PM UTC web-flow github
100.0
413 initiate-local-stdlib Merge cabac18c3 into d1e217a55 Pull #118 24 Dec 2025 01:35PM UTC web-flow github
100.0
412 main Merge pull request #117 from mbarbin/improve-dune-deps-org Improve dune deps org push 24 Dec 2025 10:44AM UTC web-flow github
100.0
411 improve-dune-deps-org Merge 39f65a8bc into 61d9af34c Pull #117 24 Dec 2025 10:37AM UTC web-flow github
100.0
409 main Update changelog push 24 Dec 2025 09:50AM UTC mbarbin github
100.0
408 dependabot/github_actions/actions/checkout-6 Merge 92e2d4e48 into 3baba20dc Pull #113 21 Dec 2025 09:32AM UTC web-flow github
100.0
407 main Upgrade actions/checkout to v6 in CI push 21 Dec 2025 09:20AM UTC mbarbin github
100.0
406 main Remove public name from example push 12 Dec 2025 12:47PM UTC mbarbin github
100.0
405 main Merge pull request #116 from mbarbin/pkg-directory-structure Refactor pkg directory structure push 12 Dec 2025 09:51AM UTC web-flow github
100.0
404 pkg-directory-structure Merge d22436883 into fbd9e5462 Pull #116 12 Dec 2025 08:59AM UTC web-flow github pending completion
403 pkg-directory-structure Merge 4a44b7a5d into fbd9e5462 Pull #116 12 Dec 2025 08:58AM UTC web-flow github pending completion
  • ← Previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • …
  • 22
  • 23
  • 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