Solver failure on learn-ocaml.0.14.1

[tmcgilchrist]

The solver query should be considering OCaml versions from 4.04.1 onwards but appears to reject learn-ocaml.0.14.1. Investigate what is going on?

https://docs.ci.ocaml.org/package/learn-ocaml.0.14.1

Logs:

Error from solver: Bad frame from worker: time="1.23" len="0.0"
no platform:
2023-01-12 13:29.33 [INFO] Solving for ocaml-base-compiler, learn-ocaml

2023-01-12 13:29.35 [INFO] base: eliminated all possibilities in 0.91 s

2023-01-12 13:29.35 [INFO] = base =

2023-01-12 13:29.35 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-domains.base base-nnp.base
          base-threads.base base-unix.base ocaml-config.3
          ocaml-options-vanilla.1 ocaml-base-compiler&learn-ocaml
          ocaml-base-compiler ocaml-base-compiler ocaml base-domains
          ocaml-base-compiler
- learn-ocaml -> (problem)
    User requested = 0.14.1
    Rejected candidates:
      learn-ocaml.0.14.1: Requires ocaml >= 4.12 & < 4.13~
- ocaml -> ocaml.5.0.0
    ocaml-base-compiler 5.0.0~beta1 requires = 5.0.0
- ocaml-base-compiler -> ocaml-base-compiler.5.0.0~beta1
    User requested = 5.0.0~beta1

[TheLortex]

Error from solver: Bad frame from worker: time="1.23" len="0.0" is a message that is not present in other solver failures. Where is it coming from ?

[moyodiallo]

This is fixed by the PR https://github.com/ocurrent/solver-service/pull/61

[tmcgilchrist]

Needs porting to ocaml-docs-ci solver. From memory the issue is related to cancelling solves and the spawning process is listening on a socket/capnp connection that gets closed.