Context

The coq:lint rule of the CI is currently broken. This MR attempts to fix it.

Manually testing the MR

The coq:lint rule of the CI should be valid.

Why is this WIP

Waiting for a downgrade of dune from 2.8 to 2.7.

Edited Jan 25, 2021 by Guillaume Claret