Merge pull request #55 from math-comp/ci · math-comp/mczify@3ea1c2d

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Hiding binding of key N to N_scope

Hiding binding of key N to N_scope

Hiding binding of key Z to Z_scope

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

Ignoring canonical projection to addn by GRing.isNmodule.add in

Ignoring canonical projection to O by GRing.isNmodule.zero in

Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mulrC

Ignoring canonical projection to

Provide feedback