225
100%

Ran 08 May 2026 12:22PM UTC

Jobs 1

Files 43

Run time 1min

Badge

Committed 08 May 2026 12:16PM UTC coverage: 100.0%. Remained the same

Build # 225

Build Type

push

github

Committed by

Commit Message

Merge pull request #58 from mbarbin/to-base-remove-ppx

Avoid ppxlib direct deps here (simplify)

Coverage Stats

5 of 5 new or added lines in 1 file covered. (100.0%)

1330 of 1330 relevant lines covered (100.0%)

132.59 hits per line

ID	Job ID	Ran	Files	Coverage
1	225.1	08 May 2026 12:22PM UTC	43	100.0	GitHub Action Run