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