1
7%
main: 7%

Ran 16 Nov 2023 02:27AM UTC

Files 468

Run time 8s

Badge

Committed 16 Nov 2023 02:16AM UTC coverage: 7.049% (-0.1%) from 7.182%

Build Type

push

github

Committed by

Commit Message

New odoc rules (#8803)

* New odoc rules

Signed-off-by: Jon Ludlam <jon@recoil.org>
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

Coverage Stats

2794 of 39637 relevant lines covered (7.05%)

28738.44 hits per line