1
73%
master: 73%

Ran 28 May 2024 04:08PM UTC

Files 90

Run time 2s

Badge

Committed 28 May 2024 04:03PM UTC coverage: 71.636%. Remained the same

Build Type

push

github

Committed by

Commit Message

Odoc driver: abstract and improve type for compiled files

Signed-off-by: Paul-Elliot <peada@free.fr>

Run Details

9592 of 13390 relevant lines covered (71.64%)

3628.23 hits per line