mixin-instance-type->mixin-src does not use the typing information
#260
Tragicusnix-action-coq-8.19.yml
on: pull_request_target
coq
40s
mathcomp-single
12m 30s
autosubst
5m 52s
deriving
6m 20s
reglang
6m 16s
relation-algebra
6m 45s
mathcomp-real-closed
6m 54s
mathcomp-experimental-reals
coq-bits
1m 40s
jasmin
8m 56s
mathcomp-analysis-stdlib
0s
odd-order
13m 16s
Annotations
1 error
|
mathcomp-finmap
Process completed with exit code 1.
|