35479275261
87%

Ran 20 Sep 2026 12:44AM UTC

Jobs 1

Files 100

Run time 1min

Badge

Committed 20 Sep 2026 12:37AM UTC coverage: 92.559%. Remained the same

Build Type

push

github

Committed by

Commit Message

test(protocol): prove convergence with multiple verification methods (#1212)

Coverage Stats

4613 of 5277 branches covered (87.42%)

Branch coverage included in aggregate %.

9231 of 9680 relevant lines covered (95.36%)

14744.85 hits per line

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