I noticed that the Waterproof proof language became a plugin about a day ago: https://github.com/impermeable/coq-waterproof/pull/14
@Emilio Jesús Gallego Arias do you know if the authors are aware of Coq's CI? Otherwise, they may be surprised by the work required to maintain/update this.
@Jim Portegies is around so we can ask him.
for the record, the instructions for adding a plugin to CI: https://github.com/coq/coq/blob/master/dev/ci/README-users.md
Last updated: Dec 05 2023 at 11:01 UTC