5146
67%
master: 67%

Ran 23 Oct 2026 08:15AM UTC

Jobs 1

Files 329

Run time 1min

Badge

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

Build # 5146

Build Type

github

Committed by

Commit Message

Merge 13426555f into c08783669

Coverage Stats

1 of 2 new or added lines in 1 file covered. (50.0%)

23525 of 35311 relevant lines covered (66.62%)

394736.33 hits per line

Lines	Coverage	∆	File
1	73.84		src/cdomain/value/cdomains/valueDomain.ml

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