214
84%
master: 71%

Ran 15 May 2026 02:57PM UTC

Jobs 1

Files 26

Run time 1min

Badge

Embed ▾

Committed 15 May 2026 02:48PM UTC coverage: 82.521% (-1.8%) from 84.33%

Build # 214

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

288 of 349 relevant lines covered (82.52%)

2008121.07 hits per line

Coverage Regressions

Lines	Coverage	∆	File
6	28.05	-7.32%	src/cubzzle.ml

Jobs

ID	Job ID	Ran	Files	Coverage
1	214.1	15 May 2026 02:57PM UTC	26	82.52	GitHub Action Run

mbarbin / cubzzle / 214
84%
master: 71%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 214

mbarbin / cubzzle / 214 84% master: 71%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 214

mbarbin / cubzzle / 214
84%
master: 71%

README BADGES
x