35529353876
95%

Ran 20 Sep 2026 06:36PM UTC

Jobs 1

Files 100

Run time 1min

Badge

Committed 20 Sep 2026 06:31PM UTC coverage: 92.584%. Remained the same

Build Type

push

github

Committed by

Commit Message

docs(proofs): freeze protocol convergence completion criteria (#1230)

Coverage Stats

4625 of 5286 branches covered (87.5%)

Branch coverage included in aggregate %.

9232 of 9681 relevant lines covered (95.36%)

21264.9 hits per line

ID	Job ID	Ran	Files	Coverage
1	35529353876.1	20 Sep 2026 06:36PM UTC	200	93.65	GitHub Action Run