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

mbarbin / super-master-mind
88%

Build:
DEFAULT BRANCH: main
Repo Added 01 May 2023 03:59PM UTC
Files 33
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: main
CHANGE BRANCH
x
Reset
  • main
  • 0.0.3-preview
  • HEAD
  • add-dev-opam-pkg
  • cmdlang
  • commandlang
  • dependabot/github_actions/actions/checkout-6
  • dependabot/github_actions/actions/checkout-6.0.2
  • dependabot/github_actions/actions/upload-pages-artifact-4
  • dune-pkg-ci-migration
  • expect-tests
  • import-dune-12982
  • init-dunolint
  • json-opening
  • limit-base-to-compute
  • master
  • ocaml-5.4-in-ci
  • ordering-compare
  • pkg-directory-structure
  • pplumbing
  • prepare-less-deps
  • prepare-ordering
  • prepare-stdlib
  • progress-bar.2
  • remove-direct-base-dep
  • rm-base-test
  • stdlib-qualification-cleanup
  • test-opening-book-compute
  • use-more-domains
  • use-site
  • vendor-dyn

01 Feb 2026 01:05PM UTC coverage: 88.313%. Remained the same
221

push

github

mbarbin
Upgrade dunolint workflow

- Use latest alpha version available
- With added support for checking expected binary digest

1073 of 1215 relevant lines covered (88.31%)

2621932.01 hits per line

Relevant lines Covered
Build:
Build:
1215 RELEVANT LINES 1073 COVERED LINES
2621932.01 HITS PER LINE
Source Files on main
  • Tree
  • List 33
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
221 main Upgrade dunolint workflow - Use latest alpha version available - With added support for checking expected binary digest push 01 Feb 2026 01:11PM UTC mbarbin github
88.31
220 main Cleanup transition notice push 01 Feb 2026 07:29AM UTC mbarbin github
88.31
219 main Merge pull request #45 from mbarbin/dune-pkg-ci-migration Dune pkg ci migration push 31 Jan 2026 01:10PM UTC web-flow github
88.31
214 main Merge pull request #44 from mbarbin/stdlib-qualification-cleanup Stdlib qualification cleanup push 31 Jan 2026 08:55AM UTC web-flow github
88.31
212 main Increase lower bounds for maintainance push 28 Jan 2026 09:21AM UTC mbarbin github
88.37
211 main Transition some workflows from more-ci to setup-dune push 23 Jan 2026 01:11PM UTC mbarbin github
88.37
210 main Merge pull request #42 from mbarbin/rm-base-test Remove base direct dependency push 18 Jan 2026 04:10PM UTC web-flow github
88.37
204 main Improve spell config push 18 Jan 2026 02:34PM UTC mbarbin github
88.37
203 main Simplify default construct push 18 Jan 2026 02:21PM UTC mbarbin github
88.37
202 main Merge pull request #41 from mbarbin/prepare-less-deps Prepare removing deps push 18 Jan 2026 02:20PM UTC web-flow github
88.36
See All Builds (163)
  • Repo on GitHub
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