3116
62%
master: 65%

Ran 09 Apr 2025 03:16PM UTC

Jobs 1

Files 288

Run time 1min

Badge

Committed 09 Apr 2025 03:07PM UTC coverage: 61.827% (+0.02%) from 61.811%

Build # 3116

Build Type

github

Committed by

Commit Message

Merge ed09d82aa into 5aeb54955

Run Details

6 of 6 new or added lines in 2 files covered. (100.0%)

2 existing lines in 1 file now uncovered.

20803 of 33647 relevant lines covered (61.83%)

409802.93 hits per line

Lines	Coverage	∆	File
2	74.32	-0.31%	src/cdomain/value/cdomains/intDomain0.ml

ID	Job ID	Ran	Files	Coverage
1	3116.1	09 Apr 2025 03:16PM UTC	288	61.83	GitHub Action Run