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

mbarbin / cmdlang
100%

Build:
DEFAULT BRANCH: main
Repo Added 07 Sep 2024 12:06PM UTC
Files 42
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
  • HEAD
  • add-blog-post
  • add-dev-pkg
  • assorted-tests-and-fixes
  • create-with-pp
  • dependabot/github_actions/actions/setup-node-5
  • dependabot/github_actions/actions/upload-pages-artifact-4
  • expect-tests
  • improve-ci
  • invalid-subcommand-test
  • main
  • more-consistent-doc-strings
  • more-tests
  • prepare-release
  • up-climate
  • update-climate
  • update-doc
  • upgrade-climate
  • upgrade-climate-0.8.0
  • upgrade-doc
  • upgrade-docusaurus
  • upgrade-to-ocaml.5.3

21 Oct 2025 11:18AM UTC coverage: 100.0%. Remained the same
146

push

github

mbarbin
Upgrade and pin actions/upload-pages-artifact to current v4

1322 of 1322 relevant lines covered (100.0%)

133.33 hits per line

Relevant lines Covered
Build:
Build:
1322 RELEVANT LINES 1322 COVERED LINES
133.33 HITS PER LINE
Source Files on main
  • Tree
  • List 42
  • 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
146 main Upgrade and pin actions/upload-pages-artifact to current v4 push 21 Oct 2025 11:58AM UTC mbarbin github
100.0
145 main Upgrade climate in tests push 20 Oct 2025 08:59PM UTC mbarbin github
100.0
143 main Merge pull request #35 from mbarbin/improve-ci Improve ci push 10 Oct 2025 12:17PM UTC web-flow github
100.0
142 improve-ci Merge 0b6cd6955 into e0931541f Pull #35 10 Oct 2025 12:07PM UTC web-flow github
100.0
141 improve-ci Merge 19bd4bf02 into e0931541f Pull #35 10 Oct 2025 11:58AM UTC web-flow github
100.0
140 main Merge pull request #34 from mbarbin/add-dev-pkg Add dev opam package to regroup dev targets and dependencies push 10 Oct 2025 11:46AM UTC web-flow github
100.0
139 add-dev-pkg Merge ce43928da into da09a5fd5 Pull #34 10 Oct 2025 10:08AM UTC web-flow github
100.0
138 main Add bound for cmdliner in tests for now (needs tweaking) push 09 Oct 2025 08:50AM UTC mbarbin github
100.0
137 main Revise rationale for cmdlang development Update rationale section to reflect cmdliner 2.0 changes. push 07 Oct 2025 01:00PM UTC web-flow github
100.0
136 dependabot/github_actions/actions/setup-node-5 Merge c50e0ae44 into f32ae4746 Pull #32 01 Oct 2025 01:19PM UTC web-flow github
100.0
See All Builds (91)
  • 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