mirage / irmin

Irmin is a distributed database that follows the same design principles as Git
https://irmin.org
ISC License
1.83k stars 154 forks source link

Remove Stream Proofs #2275

Closed samoht closed 11 months ago

samoht commented 11 months ago

They are hard to maintain and nobdy use those anymore.

Note: probably more code could be simplified, I've done the "easy" bits first.

codecov-commenter commented 11 months ago

Codecov Report

Merging #2275 (2c6a9ef) into main (3f88570) will decrease coverage by 0.71%. The diff coverage is 93.33%.

:exclamation: Current head 2c6a9ef differs from pull request most recent head 4a191e7. Consider uploading reports for the commit 4a191e7 to get more accurate results

:exclamation: Your organization needs to install the Codecov GitHub app to enable full functionality.

@@            Coverage Diff             @@
##             main    #2275      +/-   ##
==========================================
- Coverage   68.83%   68.13%   -0.71%     
==========================================
  Files         133      133              
  Lines       16211    15982     -229     
==========================================
- Hits        11159    10889     -270     
- Misses       5052     5093      +41     
Files Coverage Δ
src/irmin-test/store.ml 95.15% <100.00%> (+0.02%) :arrow_up:
src/irmin/proof.ml 86.58% <100.00%> (-2.31%) :arrow_down:
src/irmin/tree.ml 81.39% <80.00%> (-0.10%) :arrow_down:

... and 6 files with indirect coverage changes

:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more