5148
67%
master: 67%

Ran 23 Oct 2026 08:34AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 23 Oct 2026 08:23AM UTC coverage: 66.618%. First build

Build # 5148

Build Type

github

Committed by

Commit Message

Merge 0eb1c4b1f into c08783669

Coverage Stats

11 of 20 new or added lines in 1 file covered. (55.0%)

23534 of 35327 relevant lines covered (66.62%)

394562.84 hits per line

Lines	Coverage	∆	File
9	73.53		src/cdomain/value/cdomains/valueDomain.ml

ID	Job ID	Ran	Files	Coverage
1	5148.1	23 Oct 2026 08:34AM UTC	329	66.62	GitHub Action Run