4345
66%
master: 65%

Ran 15 Apr 2026 05:50AM UTC

Jobs 1

Files 318

Run time 1min

Badge

Committed 15 Apr 2026 05:41AM UTC coverage: 65.579%. First build

Build # 4345

Build Type

github

Committed by

Commit Message

Merge bd8f874b6 into 9748454c2

Coverage Stats

79 of 96 new or added lines in 2 files covered. (82.29%)

22840 of 34828 relevant lines covered (65.58%)

398247.05 hits per line

Lines	Coverage	∆	File
16	83.16		src/analyses/phaseGhost.ml
1	89.06		src/analyses/accessAnalysis.ml

ID	Job ID	Ran	Files	Coverage
1	4345.1	15 Apr 2026 05:50AM UTC	318	65.58	GitHub Action Run