Context

The CI rule coq:lint was there to prevent introducing OCaml functionalities that are not supported by the translator to Coq coq-of-ocaml (or without a good Coq equivalent at all). However, this rule was optional and generating a lot of unfixed warnings in practice. To keep the CI green we remove this rule. To see an updated branch which compiles to Coq see !3303 (closed)