satyrographos-repo
satyrographos-repo copied to clipboard
CI fails due to stack overflow
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:
- https://github.com/na4zagin3/satyrographos-repo/actions/runs/6341673085/job/17225830525?pr=653#step:14:1819
- https://github.com/na4zagin3/satyrographos-repo/actions/runs/6341673085/job/17225830525?pr=653#step:14:2341
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)😒