Do not add a mixin-src when there is already one declared #457
Tragicusnix-action-coq-8.18.yml
on: pull_request_target
coq
44s
mathcomp-single
9m 28s
Verdi
1m 47s
autosubst
1m 16s
deriving
1m 57s
reglang
1m 41s
relation-algebra
2m 16s
mathcomp-real-closed
3m 38s
coq-bits
1m 46s
odd-order
12m 31s
Annotations
1 error
|
mathcomp-finmap
Process completed with exit code 1.
|