Merge pull request #406 from math-comp/coq-elpi-2 #191
nix-action-coq-master.yml
on: push
coq
4m 19s
mathcomp-single
27s
reglang
0s
fourcolor
0s
coq-bits
0s
coqeal
0s
odd-order
0s
Annotations
1 error
coq-elpi
Process completed with exit code 1.
|