Repository navigation

Fix the CI of the Eio packages - #2

Open

balat wants to merge 5 commits into

balat:eio-fixes

Open

Fix the CI of the Eio packages#2
balat wants to merge 5 commits into
lyrm:eiofrom
balat:eio-fixes

Commits on Oct 9, 2026
- Only build the Eio neg_tests when eio_main is available
  balat
  committed
  2036856
- Detach the neg_tests helper libraries from the multicoretests package
  balat
  committed
  389ada2
- Add eio_main as a test dependency of the Eio packages
  balat
  committed
  17f5d5f
- Require OCaml 5.1 for the Eio packages
  balat
  committed
  c417e10
- CI: name the Eio installation step
  balat
  committed
  34159fb