use coq.coercion.class as the type of coercion classes #198
garesnix-action-rocq-9.1.yml
on: pull_request_target
rocq-core
52s
coq-elpi-tests-stdlib
1m 28s
rocq-elpi
1m 25s
autosubst
0s
mathcomp-algebra-tactics
0s
mathcomp-experimental-reals
odd-order
Annotations
1 error
|
hierarchy-builder
Process completed with exit code 1.
|