• 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: SELECT
CHANGE BRANCH
x
  • No branch selected
  • 0.0.3-preview
  • HEAD
  • add-dev-opam-pkg
  • cmdlang
  • commandlang
  • dependabot/github_actions/actions/checkout-6
  • dependabot/github_actions/actions/upload-pages-artifact-4
  • expect-tests
  • import-dune-12982
  • init-dunolint
  • json-opening
  • main
  • master
  • ocaml-5.4-in-ci
  • ordering-compare
  • pkg-directory-structure
  • pplumbing
  • prepare-ordering
  • prepare-stdlib
  • progress-bar.2
  • remove-direct-base-dep
  • test-opening-book-compute
  • use-site
  • vendor-dyn

21 Dec 2025 08:47AM UTC coverage: 88.332%. Remained the same
194

push

github

mbarbin
Upgrade actions/checkout to v6 in CI

1075 of 1217 relevant lines covered (88.33%)

2769426.01 hits per line

Relevant lines Covered
Build:
Build:
1217 RELEVANT LINES 1075 COVERED LINES
2769426.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
194 main Upgrade actions/checkout to v6 in CI push 21 Dec 2025 09:22AM UTC mbarbin github
88.33
193 main Ignore CRs in this vendored module push 21 Dec 2025 08:00AM UTC mbarbin github
88.33
192 main Merge pull request #38 from mbarbin/prepare-ordering Prepare ordering push 17 Dec 2025 08:40PM UTC web-flow github
88.33
191 prepare-ordering Merge b9552a8d3 into 727966867 Pull #38 17 Dec 2025 08:07PM UTC web-flow github
88.33
190 main Merge pull request #37 from mbarbin/prepare-stdlib Preparatory changes to reduce deps further push 17 Dec 2025 08:04PM UTC web-flow github
88.45
189 prepare-stdlib Merge 2aeadd138 into 8112b8896 Pull #37 17 Dec 2025 07:43PM UTC web-flow github
88.45
188 main Merge pull request #36 from mbarbin/import-dune-12982 Import dune 12982 push 17 Dec 2025 07:41PM UTC web-flow github
89.46
187 import-dune-12982 Merge b315846fe into 2659a0ccd Pull #36 17 Dec 2025 07:32PM UTC web-flow github
89.46
186 remove-direct-base-dep Merge eaadc9edc into bd0bb706d Pull #39 17 Dec 2025 06:37AM UTC web-flow github
88.35
185 prepare-ordering Merge bd0bb706d into 4bd68a9b6 Pull #38 16 Dec 2025 09:47PM UTC web-flow github
88.35
See All Builds (135)
  • 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

© 2025 Coveralls, Inc