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

mbarbin / auto-format
86%

Build:
DEFAULT BRANCH: main
Repo Added 25 Dec 2025 06:35PM UTC
Files 7
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
  • main
  • myconf-example

15 Jan 2026 07:06PM UTC coverage: 85.922%. Remained the same
110

push

github

mbarbin
Improve default settings for GHA permissions

177 of 206 relevant lines covered (85.92%)

7.58 hits per line

Relevant lines Covered
Build:
Build:
206 RELEVANT LINES 177 COVERED LINES
7.58 HITS PER LINE
Source Files on main
  • Tree
  • List 7
  • 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
110 main Improve default settings for GHA permissions push 15 Jan 2026 07:15PM UTC mbarbin github
85.92
109 main Set more-ci default shell to bash push 13 Jan 2026 03:16PM UTC mbarbin github
85.92
108 main Prepare dune-workspace files for CI workflows push 09 Jan 2026 09:09AM UTC mbarbin github
85.92
107 main Upgrade dunolint push 04 Jan 2026 02:27PM UTC mbarbin github
85.92
106 main Merge pull request #15 from mbarbin/myconf-example Add example (myconf) push 25 Dec 2025 08:42PM UTC web-flow github
85.92
105 myconf-example Merge 82558b41c into ffe8f6acd Pull #15 25 Dec 2025 08:09PM UTC web-flow github
85.92
104 myconf-example Merge 6ea099978 into ffe8f6acd Pull #15 25 Dec 2025 08:00PM UTC web-flow github
85.92
103 main Lint push 25 Dec 2025 06:43PM UTC mbarbin github
33.99
See All Builds (8)
  • 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