Skip to content

prefer headers with proofs#7886

Merged
sstanculeanu merged 2 commits into
feat/testnet-fixesfrom
resolve-by-proof
Jun 22, 2026
Merged

prefer headers with proofs#7886
sstanculeanu merged 2 commits into
feat/testnet-fixesfrom
resolve-by-proof

Merge branch 'feat/testnet-fixes' into resolve-by-proof

aff2a78
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Jun 22, 2026 in 1s

77.63% (+0.01%) compared to 949dca7

View this Pull Request on Codecov

77.63% (+0.01%) compared to 949dca7

Details

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 77.63%. Comparing base (949dca7) to head (aff2a78).

Additional details and impacted files
@@                  Coverage Diff                   @@
##           feat/testnet-fixes    #7886      +/-   ##
======================================================
+ Coverage               77.61%   77.63%   +0.01%     
======================================================
  Files                     885      885              
  Lines                  125414   125461      +47     
======================================================
+ Hits                    97340    97400      +60     
+ Misses                  21591    21582       -9     
+ Partials                 6483     6479       -4     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.