264
92%

Ran 15 May 2026 04:07PM UTC

Jobs 1

Files 56

Run time 1min

Badge

Embed ▾

Committed 15 May 2026 03:50PM UTC coverage: 91.171%. Remained the same

Build # 264

Build Type

push

github

Committed by

mbarbin

Commit Message

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 to adopt dune `3.23.1` to work around the
partial coverage issue. Better fix left as future work.

Coverage Stats

1363 of 1495 relevant lines covered (91.17%)

2121409.85 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	264.1	15 May 2026 04:07PM UTC	56	91.17	GitHub Action Run

mbarbin / super-master-mind / 264
92%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 264

mbarbin / super-master-mind / 264 92%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 264

mbarbin / super-master-mind / 264
92%

README BADGES
x