Why is ci-coqhammer failing with an OCaml constructor argument mismatch on my PR that just changes the internal details of coqchk? https://gitlab.com/coq/coq/-/jobs/694443798 / https://github.com/coq/coq/pull/12862
https://github.com/lukaszcz/coqhammer/pull/75
Last updated: Dec 05 2023 at 12:01 UTC