mathcomp 2.1 · thery/lemonde@3139299

Triggered via push October 25, 2023 12:23

thery

master

Status Success

Total duration 38m 42s

Artifacts –

docker-action.yml

on: push

Matrix: build

10 warnings

Ignoring canonical projection to GRing.isZmodule.addNr by

Ignoring canonical projection to GRing.isZmodule.opp by

Ignoring canonical projection to GRing.isZmodule.add0r by

Ignoring canonical projection to GRing.isZmodule.addrC by

Ignoring canonical projection to GRing.isZmodule.addrA by

Ignoring canonical projection to GRing.isZmodule.add by

Ignoring canonical projection to GRing.isZmodule.zero by

Ignoring canonical projection to GRing.isZmodule.addNr by

Ignoring canonical projection to GRing.isZmodule.opp by

Ignoring canonical projection to GRing.isZmodule.add0r by