Do not add a mixin-src when there is already one declared #262
Tragicusnix-action-coq-8.19.yml
on: pull_request_target
coq
40s
mathcomp-single
12m 33s
autosubst
5m 52s
deriving
6m 19s
reglang
6m 18s
relation-algebra
6m 37s
mathcomp-real-closed
6m 38s
mathcomp-experimental-reals
0s
coq-bits
1m 43s
jasmin
8m 57s
mathcomp-analysis-stdlib
0s
odd-order
11m 30s
Annotations
1 error
|
mathcomp-finmap
Process completed with exit code 1.
|