5135
67%
master: 67%

Ran 22 Oct 2026 02:16PM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 22 Oct 2026 02:05PM UTC coverage: 66.622% (+0.003%) from 66.619%

Build # 5135

Build Type

github

Committed by

Commit Message

Merge 048636436 into 8cc1af90b

Coverage Stats

7 of 9 new or added lines in 1 file covered. (77.78%)

23521 of 35305 relevant lines covered (66.62%)

394814.57 hits per line

Lines	Coverage	∆	File
2	64.29	0.51%	src/cdomain/value/cdomains/structDomain.ml

ID	Job ID	Ran	Files	Coverage
1	5135.1	22 Oct 2026 02:16PM UTC	329	66.62	GitHub Action Run