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