Closed giltho closed 2 months ago
Switching to opam workflow instead of esy. I still need to fix the CI...
Switching to opam workflow instead of esy. I still need to fix the CI...