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

mbarbin / mdexp / 46

Builds Branch Commit Type Ran Committer Via Coverage
46 main Fix some typos push 18 May 2026 02:50PM UTC mbarbin github
96.15
45 main Upgrade dune in this ci file too push 15 May 2026 04:17PM UTC mbarbin github
96.15
44 main Merge pull request #12 from mbarbin/link-mdexp-test-suite Reference the test book in the doc push 11 May 2026 05:31PM UTC web-flow github
96.15
43 link-mdexp-test-suite Merge fede8e4cb into 7093a77be Pull #12 11 May 2026 05:27PM UTC web-flow github
96.15
40 main Enable 5.5 in CI push 05 May 2026 02:13PM UTC mbarbin github
96.15
39 main Prepare file for future 5.5 CI (currently unused) push 29 Apr 2026 07:17PM UTC mbarbin github
96.15
38 main Merge pull request #11 from mbarbin/fix-center-and-add-links Fix center home page and add latest addition links (website) push 15 Apr 2026 07:21AM UTC web-flow github
96.15
37 fix-center-and-add-links Merge c00b28ab7 into 3271a8630 Pull #11 15 Apr 2026 07:17AM UTC web-flow github
96.15
36 main Merge pull request #10 from mbarbin/potion-brewery Potion brewery (a config-as-code tutorial) push 14 Apr 2026 01:48PM UTC web-flow github
96.15
35 potion-brewery Merge 37e7226e0 into 568b25435 Pull #10 14 Apr 2026 01:41PM UTC web-flow github
96.15
34 main Sync ml with md (book) push 13 Apr 2026 10:31AM UTC mbarbin github
96.01
30 main Add mention of diataxis (readme and doc site) push 09 Apr 2026 03:49PM UTC mbarbin github
96.01
29 main Update dunolint skip paths config push 09 Apr 2026 03:35PM UTC mbarbin github
96.01
28 main Add section with acks and links to related work push 09 Apr 2026 03:23PM UTC mbarbin github
96.01
27 main Merge pull request #9 from mbarbin/improve-intro-book Improve intro book push 09 Apr 2026 01:21PM UTC web-flow github
96.01
  • ← Previous
  • 1
  • 2
  • 3
  • 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