remove ring for grille · thery/lemonde@4f510c3

Triggered via push October 27, 2023 10:47

thery

master

Status Success

Total duration 5m 25s

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