1
100%
main: 100%

Ran 30 Dec 2025 09:56AM UTC

Files 208

Run time 4s

Badge

Embed ▾

Committed 30 Dec 2025 09:48AM UTC coverage: 100.0%. Remained the same

Job # 379.1

Build Type

push

github

Committed by

mbarbin

Commit Message

Make stdlib public

As it turns out, making it private breaks the build on downstream usages of
dunolint in code linking with it as a dep library. They appear for example to
miss the type equality between [Dunolint_stdlib.Sexp] and [Sexplib0.Sexp].

Run Details

7537 of 7537 relevant lines covered (100.0%)

32.79 hits per line

mbarbin / dunolint / 379 / 1
100%
main: 100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 379.1

mbarbin / dunolint / 379 / 1 100% main: 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 379.1

mbarbin / dunolint / 379 / 1
100%
main: 100%

README BADGES
x