mbarbin / print-table
100%

DEFAULT BRANCH: main
Repo Added
Token 7Xeq3YQWdWXOuXOAH2Nhxn9GeOXeveWZS regen
Build 38 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
39

push

github

mbarbin 
Update setup-dune sha (fix macos build path issue)

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
39 main Update setup-dune sha (fix macos build path issue) push mbarbin github
100.0
38 main Upgrade setup-dune (v2.0.0+patched) push mbarbin github
100.0
37 main Improve default settings for GHA permissions push mbarbin github
100.0
36 main Upgrade setup-dune to v2.0.0+only-packages push mbarbin github
100.0
35 main Make run shell more portable push mbarbin github
100.0
33 main Remove edition of itd in more-ci The value [true] that is present in `dune-project` is the most permissive, thus keeping it is not going to create new errors. The build with [false], which is the eventual desired value, is already checked as par... push mbarbin github
100.0
23 main Upgrade dunolint push mbarbin github
100.0
22 main Upgrade actions/checkout to v6 in CI push mbarbin github
100.0
21 main Merge pull request #8 from mbarbin/reduce-deps Reduce deps push web-flow github
100.0
19 main Merge pull request #7 from mbarbin/dunolint-workflow Add dunolint workflow push web-flow github
100.0
See All Builds (38)

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