Merge pull request #86 from coq-community/ci #130
Annotations
1 warning
|
Run coq-community/docker-coq-action@v1:
refinements/examples/irred.v#L128
Notation finIntegralDomainType is deprecated since mathcomp 2.1.0.
|
The logs for this run have expired and are no longer available.
Loading