mathcomp 2.3.0 #15
Annotations
11 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Run coq-community/docker-coq-action@v1:
allumette.v#L171
Ignoring canonical projection to GRing.isZmodule.addNr by
|
|
Run coq-community/docker-coq-action@v1:
allumette.v#L171
Ignoring canonical projection to GRing.isZmodule.opp by
|
|
Run coq-community/docker-coq-action@v1:
allumette.v#L171
Ignoring canonical projection to GRing.isZmodule.add0r by
|
|
Run coq-community/docker-coq-action@v1:
allumette.v#L171
Ignoring canonical projection to GRing.isZmodule.addrC by
|
|
Run coq-community/docker-coq-action@v1:
allumette.v#L171
Ignoring canonical projection to GRing.isZmodule.addrA by
|
|
Run coq-community/docker-coq-action@v1:
allumette.v#L171
Ignoring canonical projection to GRing.isZmodule.add by
|
|
Run coq-community/docker-coq-action@v1:
allumette.v#L171
Ignoring canonical projection to GRing.isZmodule.zero by
|
|
Run coq-community/docker-coq-action@v1:
allumette.v#L382
Ignoring canonical projection to GRing.isZmodule.addNr by
|
|
Run coq-community/docker-coq-action@v1:
allumette.v#L382
Ignoring canonical projection to GRing.isZmodule.opp by
|
|
Run coq-community/docker-coq-action@v1:
allumette.v#L382
Ignoring canonical projection to GRing.isZmodule.add0r by
|
Loading