mixin-instance-type->mixin-src does not use the typing information
#175
Tragicusnix-action-coq-8.20.yml
on: pull_request_target
coq
40s
mathcomp-single
8m 20s
QuickChick
1m 51s
autosubst
1m 18s
deriving
1m 50s
reglang
1m 41s
relation-algebra
2m 32s
fourcolor
13m 31s
vcfloat
43s
odd-order
11m 24s