Merge pull request #699 from LPCIC/gares-patch-1 #82
nix-action-coq-master-min-elpi.yml
on: push
Annotations
1 error
coq-elpi
Process completed with exit code 1.
|