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

mbarbin / print-table
100%

Build:
DEFAULT BRANCH: main
Repo Added 22 Jul 2025 07:22AM UTC
Token 7Xeq3YQWdWXOuXOAH2Nhxn9GeOXeveWZS regen
Build 48 Last
Files 10
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
Sync Branches
  • No branch selected
  • add-styles
  • dependabot/github_actions/actions/checkout-5
  • dependabot/github_actions/actions/checkout-6.0.2
  • dependabot/github_actions/actions/upload-pages-artifact-4
  • dunolint-workflow
  • main
  • migrate-main-ci-setup-dune
  • pkg-directory-structure
  • prepare-setup-dune-migration
  • reduce-deps
  • rm-unused-sexp-deps
  • setup-dune-more-ci

01 Feb 2026 03:18PM UTC coverage: 100.0%. Remained the same
49

push

github

mbarbin
Enable crs workflow

245 of 245 relevant lines covered (100.0%)

13.21 hits per line

Relevant lines Covered
Build:
Build:
245 RELEVANT LINES 245 COVERED LINES
13.21 HITS PER LINE
Source Files on main
  • Tree
  • List 10
  • 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
49 main Enable crs workflow push 01 Feb 2026 03:19PM UTC mbarbin github
100.0
48 dependabot/github_actions/actions/checkout-6.0.2 Merge 371b8e118 into 13a847741 Pull #11 01 Feb 2026 02:55PM UTC web-flow github
100.0
47 main Merge pull request #12 from mbarbin/migrate-main-ci-setup-dune Migrate main ci setup dune push 01 Feb 2026 02:55PM UTC web-flow github
100.0
46 migrate-main-ci-setup-dune Merge fa449d820 into 312b2c850 Pull #12 01 Feb 2026 02:38PM UTC web-flow github
100.0
45 dependabot/github_actions/actions/checkout-6.0.2 Merge 28882b0ba into 312b2c850 Pull #11 01 Feb 2026 07:51AM UTC web-flow github
100.0
44 main Prepare changelog push 25 Jan 2026 01:23PM UTC mbarbin github
100.0
43 main Remove root dune-workspace file entirely It is not currently used. I had plan to use it in local workflow and or in the CI but its presence triggers some issues with dune [3.17.2], even when changing the lang to [3.17], namely: ```sh File "dune-... push 25 Jan 2026 01:12PM UTC mbarbin github
100.0
42 main Prepare changelog push 25 Jan 2026 09:02AM UTC mbarbin github
100.0
41 main Prepare changelog push 24 Jan 2026 01:58PM UTC mbarbin github
100.0
40 main Transition some workflows from more-ci to setup-dune push 23 Jan 2026 01:10PM UTC mbarbin github
100.0
See All Builds (48)

Badge your Repo: print-table

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.

Could not find badge in README.

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

Refresh
  • Settings
  • 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