186
88%
main: 88%

Ran 17 Dec 2025 06:37AM UTC

Jobs 1

Files 33

Run time 1min

Badge

Committed 17 Dec 2025 06:30AM UTC coverage: 88.347%. First build

Build # 186

Build Type

github

Committed by

Commit Message

Merge eaadc9edc into bd0bb706d

Run Details

13 of 14 new or added lines in 8 files covered. (92.86%)

1069 of 1210 relevant lines covered (88.35%)

2620879.32 hits per line

Lines	Coverage	∆	File
1	91.67		src/code.ml

ID	Job ID	Ran	Files	Coverage
1	186.1	17 Dec 2025 06:37AM UTC	33	88.35	GitHub Action Run