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
-
Nov 19 19:02 +00:00
Passed in 1h43m
Refs Branches (6)
Line editing layered_store
clarify pack file Co-authored-by: art-w <art.wendling@gmail.com>
ce7ef2
-
#2332
-
Nov 19 19:03 +00:00
Failed in 4h04m
Line editing for chunked_suffix
line editing & formatting
d0c837
-
#2333
-
Nov 19 19:02 +00:00
Failed in 1h33m
Speed up `Store.last-modified` by comparing hashes instead of file contents
Store.last_modified: deduplicate forked commits
e61a34
-
#2335
-
Nov 19 19:02 +00:00
Failed in 1h30m
Integrate eio watcher
irmin: Integrate irmin-watcher changes to eio
64df2d
-
#2336
-
Nov 19 19:03 +00:00
Failed in 1h32m
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
-
Nov 19 19:02 +00:00
Passed in 2h44m
Rename Irmin.Node.S.effect type to read_effect
Rename Irmin.Node.S.effect type to read_effect
aa524c
-
#2347
-
Nov 19 19:02 +00:00
Passed in 2h46m