• 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 36 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/upload-pages-artifact-4
  • dunolint-workflow
  • main
  • pkg-directory-structure
  • prepare-setup-dune-migration
  • reduce-deps
  • rm-unused-sexp-deps
  • setup-dune-more-ci

15 Jan 2026 07:37PM UTC coverage: 100.0%. Remained the same
37

push

github

mbarbin
Improve default settings for GHA permissions

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
37 main Improve default settings for GHA permissions push 15 Jan 2026 07:50PM UTC mbarbin github
100.0
36 main Upgrade setup-dune to v2.0.0+only-packages push 13 Jan 2026 03:39PM UTC mbarbin github
100.0
35 main Make run shell more portable push 10 Jan 2026 02:11PM UTC mbarbin github
100.0
34 setup-dune-more-ci Merge 23d7267d5 into efdd07f8e Pull #9 08 Jan 2026 03:59PM UTC web-flow 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 08 Jan 2026 03:59PM UTC mbarbin github
100.0
32 prepare-setup-dune-migration Merge efdd07f8e into 4ba2d1f6c Pull #10 08 Jan 2026 03:45PM UTC web-flow github
100.0
31 setup-dune-more-ci Merge e8410dd71 into 4ba2d1f6c Pull #9 08 Jan 2026 10:41AM UTC web-flow github
100.0
30 setup-dune-more-ci Merge 61f82c5b5 into 4ba2d1f6c Pull #9 08 Jan 2026 10:32AM UTC web-flow github
100.0
29 setup-dune-more-ci Merge e1f9eda26 into 4ba2d1f6c Pull #9 07 Jan 2026 12:03AM UTC web-flow github
100.0
28 setup-dune-more-ci Merge 004d970ad into 4ba2d1f6c Pull #9 06 Jan 2026 11:51PM UTC web-flow github
100.0
See All Builds (36)

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