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

Fix opam-dune-lint & doc #2274

Closed clecat closed 11 months ago

clecat commented 11 months ago

This PR simply fixes the result of the opam-dune-lint command by running it and accepting the changes and fixes the dependency to ppx_blob.

art-w commented 11 months ago

Thanks! The CI installs an old ppx_blob.0.2 for irmin-server and then dune complains that it doesn't declare (kind ppx_rewriter) ... Can we force a more recent version of this package? (0.7.2 for example)

clecat commented 11 months ago

Noted thx, I just pushed a correction for that

codecov-commenter commented 11 months ago

Codecov Report

Merging #2274 (05d39c6) into main (41b5d2a) will decrease coverage by 0.02%. The diff coverage is n/a.

:exclamation: Current head 05d39c6 differs from pull request most recent head cb56862. Consider uploading reports for the commit cb56862 to get more accurate results

:exclamation: Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the GitHub App Integration for your organization. Read more.

@@            Coverage Diff             @@
##             main    #2274      +/-   ##
==========================================
- Coverage   68.79%   68.78%   -0.02%     
==========================================
  Files         133      133              
  Lines       16211    16211              
==========================================
- Hits        11153    11151       -2     
- Misses       5058     5060       +2     

see 2 files with indirect coverage changes

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

art-w commented 11 months ago

:green_heart: