Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Create a graphical ui representing for an tezos store #2270

Merged
merged 4 commits into from
Oct 17, 2023

Conversation

clecat
Copy link
Contributor

@clecat clecat commented Aug 22, 2023

This PR adds a graphical UI for tezos stores, showing the content of commits in the shape of trees.

@codecov-commenter
Copy link

codecov-commenter commented Sep 4, 2023

Codecov Report

Merging #2270 (c5a2027) into main (2e7a6a2) will increase coverage by 0.00%.
Report is 5 commits behind head on main.
The diff coverage is 0.00%.

❗ Current head c5a2027 differs from pull request most recent head 5b287e4. Consider uploading reports for the commit 5b287e4 to get more accurate results

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

@@           Coverage Diff           @@
##             main    #2270   +/-   ##
=======================================
  Coverage   68.12%   68.13%           
=======================================
  Files         133      133           
  Lines       15982    15983    +1     
=======================================
+ Hits        10888    10890    +2     
+ Misses       5094     5093    -1     
Files Coverage Δ
src/irmin-git/contents.ml 45.00% <0.00%> (-2.37%) ⬇️

... and 2 files with indirect coverage changes

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

@clecat clecat changed the title [WIP] Create a graphical ui representing for an tezos store Create a graphical ui representing for an tezos store Sep 5, 2023
@clecat clecat force-pushed the store-ui branch 2 times, most recently from f61a15c to 6ab7291 Compare September 7, 2023 16:17
@clecat clecat marked this pull request as ready for review October 3, 2023 16:36
Copy link
Member

@metanivek metanivek left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Added some suggestions to prose and a reminder about removing the pin-depends. Thanks!

src/irmin-pack-tools/README.md Outdated Show resolved Hide resolved
src/irmin-pack-tools/README.md Outdated Show resolved Hide resolved
src/irmin-pack-tools/README.md Show resolved Hide resolved
src/irmin-pack-tools/README.md Outdated Show resolved Hide resolved
irmin-pack-tools.opam Outdated Show resolved Hide resolved
@metanivek metanivek merged commit 649657d into mirage:main Oct 17, 2023
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-changelog-needed No changelog is needed here
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants