Anybody knows why this error is happening: https://github.com/coq/coq/pull/16034/checks?check_run_id=6490846354 ?
I suspect this is some issue with the cache, but I don't know what to do to fix it.
nobody knows, we don't even know how to reproduce it
It's reproducible though, I reran the test and it happened again.
(on the CI, I mean)
That doesn't look like a cache issue just a straight segfault
csdp is a C backend for a micromega solver so who knows
cache as in the micromega cache, which uses OCaml marshalling
Oh so you mean OCaml GC is picking up the csdp cache table?
Last updated: Dec 06 2023 at 13:01 UTC