Do not add a mixin-src when there is already one declared #263
Tragicusnix-action-coq-8.19.yml
on: pull_request_target
coq
39s
mathcomp-single
12m 18s
autosubst
1m 17s
deriving
1m 55s
reglang
1m 41s
relation-algebra
2m 12s
mathcomp-real-closed
6m 41s
mathcomp-experimental-reals
0s
coq-bits
1m 34s
jasmin
8m 46s
mathcomp-analysis-stdlib
0s
odd-order
11m 23s
Annotations
1 error
|
mathcomp-finmap
Process completed with exit code 1.
|