Jason Gross (Aug 19 2020 at 19:59): Jason Gross (Aug 19 2020 at 19:59):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
Gaëtan Gilbert (Aug 19 2020 at 20:12):https://github.com/lukaszcz/coqhammer/pull/75
Last updated: Dec 05 2023 at 12:01 UTC