Skip to content

Pull requests: mirage/irmin

New pull request New
19 Open 1,704 Closed
19 Open 1,704 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

eio: sync with main
#2385 opened Jan 2, 2026 by zshipko Loading…
Spice Materials
#2381 opened Dec 9, 2025 by cuihtlauac • Draft
1
Energy consumption benchmarks
#2379 opened Dec 8, 2025 by cuihtlauac • Draft
Inline small objects
#2378 opened Nov 28, 2025 by clecat • Draft
build(deps): bump actions/checkout from 4 to 6 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#2376 opened Nov 24, 2025 by dependabot bot Loading…
Multicore safety tests with qcheck-stm
#2373 opened Nov 20, 2025 by lyrm • Draft
WIP: Lavyek backend
#2368 opened Sep 22, 2025 by balat • Draft
6
Irmin_fs: rename io type
#2365 opened Aug 27, 2025 by cuihtlauac Loading…
Move to eio
#2363 opened Jul 18, 2025 by clecat Loading…
4
Irmin dependencies as graph, excluding tests
#2362 opened Jul 2, 2025 by cuihtlauac Loading…
irmin_git: fetch_all for fetching all refs of a remote repo
#2345 opened Oct 8, 2024 by zazedd Loading…
Integrate eio watcher
#2336 opened Sep 18, 2024 by clecat Loading…
Speed up Store.last-modified by comparing hashes instead of file contents
#2335 opened Sep 13, 2024 by zazedd Loading…
5
WIP: irmin-pack.unix: Measure IO activity.
#2250 opened May 9, 2023 by adatario Loading…
2
irmin-pack-tool: Add a tool for last indexed accessible commits no-changelog-needed No changelog is needed here
#2218 opened Mar 17, 2023 by clecat • Draft
16
Add fsync for directory no-changelog-needed No changelog is needed here
#2132 opened Nov 7, 2022 by icristescu Loading…
18
irmin-pack: replace inode's Map by a list of pairs no-changelog-needed No changelog is needed here type/performance Rlated to performance
#2042 opened Aug 9, 2022 by samoht Loading…
10
irmin-tezos: simplify the way we serialise nodes no-changelog-needed No changelog is needed here type/performance Rlated to performance
#2014 opened Jul 24, 2022 by samoht Loading…
2
Add Tree.is_val and Tree.Contents.is_val functions
#1864 opened Jun 7, 2022 by samoht Loading…
9
ProTip! Mix and match filters to narrow down what you’re looking for.