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