mbarbin / print-table
100%

DEFAULT BRANCH: main
Repo Added
Token 7Xeq3YQWdWXOuXOAH2Nhxn9GeOXeveWZS regen
Build 56 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: main
CHANGE BRANCH
x
Sync Branches

coverage: 100.0%. Remained the same
57

push

github

mbarbin 
Try new crs-actions version

245 of 245 relevant lines covered (100.0%)

13.21 hits per line

Relevant lines Covered
245 RELEVANT LINES 245 COVERED LINES
13.21 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
57 main Try new crs-actions version push mbarbin github
100.0
55 main Disable dependabot push mbarbin github
100.0
52 main Upgrade dunolint workflow push mbarbin github
100.0
50 main Bump setup-dune to v2.0.0+patch-4 and add cache-readonly across repos Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com> push mbarbin github
100.0
49 main Enable crs workflow push mbarbin github
100.0
47 main Merge pull request #12 from mbarbin/migrate-main-ci-setup-dune Migrate main ci setup dune push web-flow github
100.0
44 main Prepare changelog push 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 mbarbin github
100.0
42 main Prepare changelog push mbarbin github
100.0
41 main Prepare changelog push mbarbin github
100.0
See All Builds (56)

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.
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