Getting Started
Documentation
Organisations
mirage
irmin
irmin
https://github.com/mirage/irmin
Default Branch
main
Merge pull request #2272 from metanivek/irmin-server/improves irmin-(client|server): remove server-side state, simplify batch api, and cleanups
e24b72
-
Sep 29 14:56 +00:00
Passed in 1h01m
Branches (1)
eio
Fix opam dependencies
5eb94d
-
Sep 28 14:52 +00:00
Failed in 2h41m
Refs Branches (2)
Create a graphical ui representing for an tezos store
Fix opam file ?
6ab729
-
#2270
-
Sep 28 14:52 +00:00
Failed in 2h31m
Remove Stream Proofs
Update CHANGES
4a191e
-
#2275
-
Sep 28 14:52 +00:00
Passed in 2h33m