Getting Started
Documentation
Organisations
mirage
irmin
irmin
https://github.com/mirage/irmin
Default Branch
main
Merge pull request #2344 from art-w/uuidm Fix: deprecated Uuidm.v
7f2d98
-
Oct 31 14:20 +00:00
Passed in 20m20s
Refs Branches (6)
Line editing layered_store
clarify pack file Co-authored-by: art-w <art.wendling@gmail.com>
ce7ef2
-
#2332
-
Oct 31 14:24 +00:00
Failed in 20m03s
Line editing for chunked_suffix
line editing & formatting
d0c837
-
#2333
-
Oct 31 14:24 +00:00
Failed in 19m53s
Speed up `Store.last-modified` by comparing hashes instead of file contents
Store.last_modified: deduplicate forked commits
e61a34
-
#2335
-
Oct 31 14:20 +00:00
Failed in 19m50s
Integrate eio watcher
irmin: Integrate irmin-watcher changes to eio
64df2d
-
#2336
-
Oct 31 14:20 +00:00
Failed in 20m02s
irmin_git: `fetch_all` for fetching all refs of a remote repo
irmin_git: `fetch_all` for fetching all refs of a remote repo
23915f
-
#2345
-
Oct 31 14:20 +00:00
Failed in 19m59s
Rename Irmin.Node.S.effect type to read_effect
Rename Irmin.Node.S.effect type to read_effect
aa524c
-
#2347
-
Oct 31 14:20 +00:00
Failed in 1h29m