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

mbarbin's Repositories

Build:

mbarbin / fpath-base

99%
Build #131:   Fix some typos on branch main 11 days ago
main: 99%
DEFAULT BRANCH: main
Build:

mbarbin / print-table

100%
Build #72:   Run the tests first and instrumented after that Pragmatically when running locally I h... on branch main 14 days ago
main: 100%
DEFAULT BRANCH: main
Build:

mbarbin / provider

100%
Build #220:   Fix some typos on branch main 11 days ago
main: 100%
DEFAULT BRANCH: main
Build:

mbarbin / dunolint

100%
Build #524:   Fix some typos on branch main 11 days ago
main: 100%
DEFAULT BRANCH: main
Build:

mbarbin / fingerboard

92%
Build #149:   Fix some typos on branch main 11 days ago
main: 92%
DEFAULT BRANCH: main
Build:

mbarbin / vcs

100%
Build #505:   Fix some typos on branch main 11 days ago
main: 100%
DEFAULT BRANCH: main
Build:

mbarbin / pplumbing

100%
Build #158:   Fix some typos on branch main 11 days ago
main: 100%
DEFAULT BRANCH: main
Build:

mbarbin / mdexp

96%
Build #46:   Fix some typos on branch main 11 days ago
main: 96%
DEFAULT BRANCH: main
Build:

mbarbin / crs

100%
Build #375:   Fix some typos on branch main 11 days ago
main: 100%
DEFAULT BRANCH: main
Build:

mbarbin / file-rewriter

100%
Build #109:   Fix some typos on branch main 11 days ago
main: 100%
DEFAULT BRANCH: main
Build:

mbarbin / super-master-mind

92%
Build #266:   Remove unused test dependency on branch main 11 days ago
main: 92%
DEFAULT BRANCH: main
Build:

mbarbin / nofunc-keyed

98%
Build #50:   Run the tests first and instrumented after that Pragmatically when running locally I h... on branch main 14 days ago
main: 98%
DEFAULT BRANCH: main
Build:

mbarbin / cmdlang

100%
Build #227:   Upgrade dune CI to 3.23.1 on branch main 14 days ago
main: 100%
DEFAULT BRANCH: main
Build:

mbarbin / loc

100%
Build #148:   Upgrade dune CI to 3.23.1 on branch main 14 days ago
main: 100%
DEFAULT BRANCH: main
Build:

mbarbin / pp-extended

100%
Build #76:   Run the tests first and instrumented after that Pragmatically when running locally I h... on branch main 14 days ago
main: 100%
DEFAULT BRANCH: main
Build:

mbarbin / git-pager

92%
Build #74:   Run the tests first and instrumented after that Pragmatically when running locally I h... on branch main 14 days ago
main: 92%
DEFAULT BRANCH: main
Build:
Build:

mbarbin / cubzzle

71%
Build #215:   Run the tests first and instrumented after that Pragmatically when running locally I h... on branch main 14 days ago
main: 84%
LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Build:

mbarbin / auto-format

86%
Build #138:   Run the tests first and instrumented after that Pragmatically when running locally I h... on branch main 14 days ago
main: 86%
DEFAULT BRANCH: main
Build:

mbarbin / catch-the-bunny

100%
Build #211:   Run the tests first and instrumented after that Pragmatically when running locally I h... on branch main 14 days ago
main: 100%
DEFAULT BRANCH: main
Build:

mbarbin / union-find

95%
Build #50:   Archive notice on branch main 2 months ago
main: 95%
DEFAULT BRANCH: main
  • Back to All Repos
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