Skip to content

Update readme to point to proving repo. - #412

Merged
leo-starkware merged 1 commit into
mainfrom
leo/update_readme
Aug 12, 2026
Merged

Update readme to point to proving repo.#412
leo-starkware merged 1 commit into
mainfrom
leo/update_readme

Update readme to point to proving repo.

af580d6
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Aug 12, 2026 in 1s

67.86% (+0.00%) compared to 9960934

View this Pull Request on Codecov

67.86% (+0.00%) compared to 9960934

Details

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 67.86%. Comparing base (9960934) to head (af580d6).

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #412   +/-   ##
=======================================
  Coverage   67.86%   67.86%           
=======================================
  Files          42       42           
  Lines        5459     5459           
=======================================
  Hits         3705     3705           
  Misses       1754     1754           
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.