search

na4zagin3 / satyrographos-repo

Custom OPAM repository for SATySFi libraries managed by Satyrographos
Creative Commons Zero v1.0 Universal
18 stars 17 forks source link

CI fails due to stack overflow #665

Open zeptometer opened 9 months ago

zeptometer commented 9 months ago

CI for the PR of satysfi-base-1.6.0 fails due to errors with compiling several packages (see: https://github.com/na4zagin3/satyrographos-repo/pull/653#issuecomment-1737736744). This blocks merging #653.

Error message:

zeptometer commented 9 months ago

Tried following ci.yml to reproduce the error. However, ci.sh ran successfully in my local environment (WSL ubuntu with new opam switch with ocaml-4.12.0)😒