136
86%

Ran 15 May 2026 02:51PM UTC

Jobs 1

Files 14

Run time 1min

Badge

Embed ▾

Committed 15 May 2026 02:48PM UTC coverage: 58.738% (-27.2%) from 85.922%

Build # 136

Build Type

push

github

Committed by

mbarbin

Commit Message

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-cache. TBD.

Coverage Stats

121 of 206 relevant lines covered (58.74%)

2.78 hits per line

Coverage Regressions

Lines	Coverage	∆	File
51	36.36	-42.15%	src/auto_format.ml
4	0.0	-100.0%	src/stdlib/list0.ml
1	0.0	-100.0%	src/stdlib/array0.ml

Jobs

ID	Job ID	Ran	Files	Coverage
1	136.1	15 May 2026 02:51PM UTC	14	58.74	GitHub Action Run

mbarbin / auto-format / 136
86%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 136

mbarbin / auto-format / 136 86%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 136

mbarbin / auto-format / 136
86%

README BADGES
x