1
100%
main: 100%

Ran 20 Jan 2026 03:23PM UTC

Files 222

Run time 5s

Badge

Embed ▾

Committed 20 Jan 2026 03:17PM UTC coverage: 100.0%. Remained the same

Job # 443.1

Build Type

push

github

Committed by

mbarbin

Commit Message

Remove macos from more-ci

- Now we also have dune-pkg workflows for these based on setup-dune, and the
  more-ci are particularly costly.

We are ready to deprecate the other worklows, left for future work.

Run Details

3908 of 3908 relevant lines covered (100.0%)

72.37 hits per line

mbarbin / vcs / 443 / 1
100%
main: 100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 443.1

mbarbin / vcs / 443 / 1 100% main: 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 443.1

mbarbin / vcs / 443 / 1
100%
main: 100%

README BADGES
x