use coq.coercion.class as the type of coercion classes #863
garesnix-action-coq-8.20.yml
on: pull_request_target
coq-elpi-tests-stdlib
1m 37s
bignums
48s
hierarchy-builder
48s
multinomials
mathcomp-algebra-tactics
0s
mathcomp-experimental-reals
0s
mathcomp
0s
mathcomp-analysis-stdlib
0s
Annotations
1 error
|
mathcomp-boot
Process completed with exit code 1.
|