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