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