5047
66%
master: 67%

Ran 13 Oct 2026 09:09AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 13 Oct 2026 08:59AM UTC coverage: 65.713% (+0.05%) from 65.666%

Build # 5047

Build Type

github

Committed by

Commit Message

Merge 8074059cc into f85be54cd

Coverage Stats

23114 of 35174 relevant lines covered (65.71%)

395499.24 hits per line

Lines	Coverage	∆	File
2	78.57	-0.25%	src/analyses/unassumeAnalysis.ml

ID	Job ID	Ran	Files	Coverage
1	5047.1	13 Oct 2026 09:09AM UTC	329	65.71	GitHub Action Run