3126
62%
master: 66%

Ran 15 Apr 2025 12:58PM UTC

Jobs 1

Files 289

Run time 1min

Badge

Committed 15 Apr 2025 12:48PM UTC coverage: 61.826%. First build

Build # 3126

Build Type

github

Committed by

Commit Message

Merge f8d9b7de0 into ff3641e0e

Run Details

3 of 4 new or added lines in 2 files covered. (75.0%)

20849 of 33722 relevant lines covered (61.83%)

408967.23 hits per line

Lines	Coverage	∆	File
1	77.27		src/cdomain/value/cdomains/int/enumsDomain.ml

ID	Job ID	Ran	Files	Coverage
1	3126.1	15 Apr 2025 12:58PM UTC	289	61.83	GitHub Action Run