Merge pull request #56 from Tragicus/pr1256 · math-comp/mczify@b25e4e5

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/

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

Ignoring canonical projection to GRing.Builders_203.mulr0 by

Ignoring canonical projection to GRing.Nmodule_isComSemiRing.mul0r

Ignoring canonical projection to GRing.Builders_203.mulrDr by

Provide feedback