[go: up one dir, main page]

Upgrade coq-of-ocaml to the version 2.3.0

Guillaume Claretrequested to merge
clarus1/tezos:guillaume-claret@upgrade-coq-of-ocaml-2.3.0 into master

Context

In this MR we upgrade coq-of-ocaml (translating the protocol code to Coq); in the hope to have less errors in the CI job running coq-of-ocaml. For now many errors are hidden by a black-list.

Manually testing the MR

The CI job coq:lint should be successful.

Edited by Guillaume Claret

Merge request reports