Repository navigation

Add neg_tests and CI - #1

Merged

lyrm merged 3 commits into

Sep 14, 2026

Merged

Add neg_tests and CI#1
lyrm merged 3 commits into
lyrm:eiofrom
Julow:eio

Commits on Jul 10, 2026
- Add neg_tests for eio packages
  Julow
  committed
  c1333a8
- Remove multicoretests dependency on Eio packages
  Julow
  committed
  109da8f
Commits on Jul 13, 2026
- CI: Add new packages in the opam workflow
  Julow
  committed
  ffc941b