use coq.coercion.class as the type of coercion classes #1116
garesnix-action-coq-master.yml
on: pull_request_target
rocq-core
56s
coq-elpi-tests-stdlib
1m 13s
rocq-elpi
1m 15s
mathcomp-algebra-tactics
0s
mathcomp-experimental-reals
0s
odd-order
Annotations
4 errors
|
coq-elpi-tests-stdlib
Process completed with exit code 1.
|
|
rocq-elpi
Process completed with exit code 1.
|
|
rocq-elpi-tests
Process completed with exit code 1.
|
|
coq-elpi
Process completed with exit code 1.
|