4567
66%
master: 65%

Ran 03 Jun 2026 09:10AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 03 Jun 2026 09:01AM UTC coverage: 65.525%. First build

Build # 4567

Build Type

github

Committed by

Commit Message

Merge d43fa6835 into 419237d6b

Coverage Stats

28 of 31 new or added lines in 2 files covered. (90.32%)

23469 of 35817 relevant lines covered (65.52%)

392826.68 hits per line

Lines	Coverage	∆	File
2	78.57		src/analyses/phaseGhostSplit.ml
1	85.57		src/analyses/phaseGhost.ml

ID	Job ID	Ran	Files	Coverage
1	4567.1	03 Jun 2026 09:10AM UTC	329	65.52	GitHub Action Run