mixin-instance-type->mixin-src does not use the typing information
#455
Tragicusnix-action-coq-8.18.yml
on: pull_request_target
coq
41s
mathcomp-single
9m 34s
Verdi
6m 51s
autosubst
6m 12s
deriving
6m 39s
reglang
6m 45s
relation-algebra
7m 15s
mathcomp-real-closed
3m 44s
coq-bits
1m 36s
odd-order
14m 8s
Annotations
1 error
|
mathcomp-finmap
Process completed with exit code 1.
|