50
98%

Ran 15 May 2026 04:12PM UTC

Jobs 1

Files 18

Run time 1min

Badge

Embed ▾

Committed 15 May 2026 03:59PM UTC coverage: 98.392%. Remained the same

Build # 50

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

2203 of 2239 relevant lines covered (98.39%)

15.52 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	50.1	15 May 2026 04:12PM UTC	18	98.39	GitHub Action Run

mbarbin / nofunc-keyed / 50
98%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 50

mbarbin / nofunc-keyed / 50 98%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 50

mbarbin / nofunc-keyed / 50
98%

README BADGES
x