Merge pull request #57 from math-comp/ci · math-comp/mczify@8ad5959

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

"From Coq" has been replaced by "From Stdlib".

"From Coq" has been replaced by "From Stdlib".

Reference addn_rec is deprecated since mathcomp 2.3.0.

Reference subn_rec is deprecated since mathcomp 2.3.0.

Reference muln_rec is deprecated since mathcomp 2.3.0.

Reference expn_rec is deprecated since mathcomp 2.3.0.

"From Coq" has been replaced by "From Stdlib".

Ignoring canonical projection to add0n by GRing.isNmodule.add0r in

Ignoring canonical projection to addnC by GRing.isNmodule.addrC in

Ignoring canonical projection to addnA by GRing.isNmodule.addrA in

Provide feedback