mbarbin / auto-format
86%

DEFAULT BRANCH: main
Repo Added
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: main
CHANGE BRANCH
x

coverage: 85.922%. Remained the same
121

push

github

mbarbin 
Upgrade dunolint workflow

177 of 206 relevant lines covered (85.92%)

8.56 hits per line

Relevant lines Covered
206 RELEVANT LINES 177 COVERED LINES
8.56 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
121 main Upgrade dunolint workflow push mbarbin github
85.92
120 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
85.92
118 main Upgrade dunolint workflow - Use latest alpha version available - With added support for checking expected binary digest push mbarbin github
85.92
117 main Cleanup transition note push mbarbin github
85.92
116 main Merge pull request #17 from mbarbin/migrate-ci-setup-dune Migrate ci setup dune push web-flow github
85.92
114 main Merge pull request #16 from mbarbin/upgrade-setup-dune-3.21 Upgrade setup-dune and pin dune version used to a stable release push web-flow github
85.92
112 main Update setup-dune sha (fix macos build path issue) push mbarbin github
85.92
111 main Upgrade setup-dune (v2.0.0+patched) push mbarbin github
85.92
110 main Improve default settings for GHA permissions push mbarbin github
85.92
109 main Set more-ci default shell to bash push mbarbin github
85.92
See All Builds (19)