Stream: Coq devs & plugin devs

Topic: ci-coqhammer failing


view this post on Zulip 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

view this post on Zulip 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