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: Jun 09 2023 at 07:01 UTC