72
83%
main: 83%

Ran 08 Apr 2026 08:21PM UTC

Jobs 1

Files 5

Run time 1min

Badge

Committed 08 Apr 2026 08:17PM UTC coverage: 82.54% (+1.8%) from 80.783%

Build # 72

Build Type

github

Committed by

Commit Message

Merge 7c51741b3 into b6abd3ed5

Coverage Stats

368 of 454 new or added lines in 4 files covered. (81.06%)

416 of 504 relevant lines covered (82.54%)

45.71 hits per line

Lines	Coverage	File
70	81.82	src/cosmos/databases_core.ml
11	77.55	src/cosmos_eio/databases.ml
5	70.59	src/cosmos_lwt/databases.ml

ID	Job ID	Ran	Files	Coverage
1	72.1	08 Apr 2026 08:21PM UTC	5	82.54	GitHub Action Run