Skip to content

Move to eio#2363

Open
clecat wants to merge 157 commits intomainfrom
eio
Open

Move to eio#2363
clecat wants to merge 157 commits intomainfrom
eio

Conversation

@clecat
Copy link
Contributor

@clecat clecat commented Jul 18, 2025

This pull requests goal is to finalize to move from lwt to eio within the irmin project, it should be merged and reviewed once we are satisfied by the state of the eio branch and most of the PRs pointing to it are merged.

It will also allow to keep an eye on the status of the CI.

@samoht samoht changed the title [WIP] Move to eio Move to eio Nov 28, 2025
@clecat clecat marked this pull request as ready for review November 28, 2025 13:28
@samoht
Copy link
Member

samoht commented Nov 28, 2025

@patricoferris @lyrm @art-w @ElectreAAS @clecat -- are you happy to merge this in main ? Any blocker?

@clecat
Copy link
Contributor Author

clecat commented Nov 28, 2025

I do not see any major blockers

@lyrm
Copy link

lyrm commented Nov 28, 2025

I made a list of things that needed fixes here . This is clearly outdated, but it's likely that not everything has been done. A lot of it is small tasks (updating examples and documentation), and it was decided that it would be done before merging to main, if I remembered correctly.

@zshipko
Copy link
Contributor

zshipko commented Nov 28, 2025

I think #2318 should also be included

zshipko and others added 23 commits December 3, 2025 09:36
libirmin: reuse a single eio scheduler across calls
Fix repo initialization with opam
* Qcheck stm test for irmin

* Add irmin-pack tests

* Some debugging.

* Fix dune file.

* Replace deprecated functions

* Update pin to qcheck-stm
* Add '/' to allowed branch characters

Signed-off-by: Benjamin Somers <benjamin.somers@imt-atlantique.fr>

* Add funding manifest discovery

See https://floss.fund/funding-manifest/

* Update manifest URL

---------

Signed-off-by: Benjamin Somers <benjamin.somers@imt-atlantique.fr>
Co-authored-by: Benjamin Somers <benjamin.somers@imt-atlantique.fr>
Co-authored-by: Thomas Gazagnaire <thomas@gazagnaire.org>
* Fix test_stm by using posix Eio backend

The test_stm test was disabled because it exhausted io_uring resources
on Linux (ENOMEM on io_uring_queue_init when spawning multiple Eio
domains).

Instead of disabling the test, use the posix backend via EIO_BACKEND
environment variable. This requires converting the test stanza to an
executable + rule pattern to allow setting the environment variable.
* Fix formatting in test logs

Signed-off-by: Ambre Austen Suhamy <ambre@tarides.com>

* Update ocamlformat 0.28.1

* ppx_irmin: use ppxlib >= 0.37

* pin bisect_ppx

---------

Signed-off-by: Ambre Austen Suhamy <ambre@tarides.com>
Co-authored-by: Arthur Wendling <arthur@tarides.com>
Co-authored-by: zach <zachshipko@gmail.com>
* Fix irmin-watcher hash to newest

Signed-off-by: Ambre Austen Suhamy <ambre@tarides.com>

* Added setup-dune CI workflow

Signed-off-by: Ambre Austen Suhamy <ambre@tarides.com>

* fix formatting

---------

Signed-off-by: Ambre Austen Suhamy <ambre@tarides.com>
Co-authored-by: zach <zachshipko@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

8 participants