436
45%

Ran 01 Dec 2025 11:34PM UTC

Jobs 1

Files 13

Run time 1min

Badge

Committed 01 Dec 2025 11:31PM UTC coverage: 45.639% (-0.02%) from 45.662%

Build # 436

Build Type

push

github

Committed by

Commit Message

use a coercion from entry to Yojson.Basic.t to avoid runtime conversion

Run Details

0 of 1 new or added line in 1 file covered. (0.0%)

879 of 1926 relevant lines covered (45.64%)

7.49 hits per line

Lines	Coverage	∆	File
1	50.0	-2.94%	src/smtml/statistics.ml

ID	Job ID	Ran	Files	Coverage
1	436.1	01 Dec 2025 11:34PM UTC	13	45.64	GitHub Action Run