1121
73%
master: 56%

Ran 10 Feb 2025 10:50AM UTC

Jobs 1

Files 90

Run time 1min

Badge

Committed 10 Feb 2025 10:45AM UTC coverage: 73.409%. First build

Build # 1121

Build Type

push

github

Committed by

Commit Message

CLI: let the driver choose the index name

Run Details

3 of 5 new or added lines in 2 files covered. (60.0%)

10264 of 13982 relevant lines covered (73.41%)

9951.45 hits per line

Lines	Coverage	∆	File
2	90.27		src/html/generator.ml

ID	Job ID	Ran	Files	Coverage
1	1121.1	10 Feb 2025 10:50AM UTC	90	73.41	GitHub Action Run