Skip to content

WIP: Install coq-of-ocaml

Guillaume Claret requested to merge nomadic-labs/tezos:guillaume-claret@add-coq-of-ocaml-to-ci-opam into master

We add a CI rule to check that coq-of-ocaml is correctly installed. The next step will be to actually run coq-of-ocaml, in the development branch once rebased on master. See metastatedev/tezos!111 (merged)

Part of the task https://gitlab.com/nomadic-labs/tezos/-/issues/161

Edited by Pierre Boutillier

Merge request reports