use coq.coercion.class as the type of coercion classes #525
garesnix-action-rocq-9.0.yml
on: pull_request_target
rocq-core
48s
coq-elpi-tests-stdlib
1m 45s
rocq-elpi
1m 24s
autosubst
0s
mathcomp-algebra-tactics
0s
mathcomp-experimental-reals
0s
Annotations
1 error
|
hierarchy-builder
Process completed with exit code 1.
|