mathcomp 2.3.0 · thery/lemonde@118f03f

Triggered via push December 18, 2024 10:47

thery

master

Status Success

Total duration 5m 17s

Artifacts –

docker-action.yml

on: push

Matrix: build

11 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

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