35478849433
93%
main: 87%

Ran 20 Sep 2026 12:34AM UTC

Jobs 1

Files 100

Run time 1min

Badge

Committed 20 Sep 2026 12:28AM UTC coverage: 92.552% (-0.007%) from 92.559%

Build Type

github

Committed by

Commit Message

test(protocol): prove convergence with multiple verification methods

Coverage Stats

4612 of 5277 branches covered (87.4%)

Branch coverage included in aggregate %.

9231 of 9680 relevant lines covered (95.36%)

14744.84 hits per line

ID	Job ID	Ran	Files	Coverage
1	35478849433.1	20 Sep 2026 12:34AM UTC	200	93.63	GitHub Action Run