mbarbin / auto-format
86%

DEFAULT BRANCH: main
Repo Added
Files 15
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

coverage: 85.922% (+27.2%) from 58.738%
Relevant lines Covered
206 RELEVANT LINES 177 COVERED LINES
7.6 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
138 main Run the tests first and instrumented after that Pragmatically when running locally I have observed that this sequence usually ends up resolving the partial coverage report that otherwise gets generated sometimes. That is a an experimental change... push mbarbin github
85.92
137 attempt-coverage-ci-fix Merge ca3e4c09b into e2b49beee Pull #22 web-flow github
85.92
136 main Remove rm step in CI causing dune IO errors - It is no longer clear why we needed this in the first place. It's possible in the long run an improvement would be to avoid caching _build entirely if this is largely superseded by relocatable+dune-ca... push mbarbin github
58.74
135 main Merge pull request #21 from mbarbin/upgrade-dune-3.23.1 Upgrade dune in ci to 3.23.1 push web-flow github
85.92
134 upgrade-dune-3.23.1 Merge 67d8a2a6b into 7f235cb2e Pull #21 web-flow github
85.92
133 main Enable 5.5 in CI push mbarbin github
85.92
132 main Prepare file for future 5.5 CI (currently unused) push mbarbin github
85.92
131 main Upgrade deploy-pages (node 24 warning) push mbarbin github
85.92
130 main Upgrade CIs push mbarbin github
85.92
129 upgrade-cis Merge 851d518eb into faa9312b5 Pull #20 web-flow github
85.92
See All Builds (36)