mirage / irmin

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

irmin-tezos-utils: Add an history (with buttons) #2195

Closed clecat closed 1 year ago

clecat commented 1 year ago

This PR adds an history of the watched entries to the graphical tool.

codecov-commenter commented 1 year ago

Codecov Report

Merging #2195 (70b62e0) into main (56dab9e) will decrease coverage by 0.02%. The diff coverage is n/a.

:exclamation: Current head 70b62e0 differs from pull request most recent head c056a41. Consider uploading reports for the commit c056a41 to get more accurate results

:mega: This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more

@@            Coverage Diff             @@
##             main    #2195      +/-   ##
==========================================
- Coverage   68.14%   68.12%   -0.02%     
==========================================
  Files         135      135              
  Lines       16255    16255              
==========================================
- Hits        11077    11074       -3     
- Misses       5178     5181       +3     
Impacted Files Coverage Δ
src/irmin-fs/irmin_fs.ml 81.21% <0.00%> (-1.22%) :arrow_down:
src/irmin-test/store.ml 94.89% <0.00%> (-0.06%) :arrow_down:

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

art-w commented 1 year ago

Thanks for the quick fix!

clecat commented 1 year ago

Just a quick note if it ever becomes relevant: The second commit name has nothing to do with control files, this was a mistake done when creating it (the joys of unseen copy and paste).