[coq_elpi_builtins] change error msg accumulating non-closed clause in a db #329
garesnix-action-coq-master.yml
on: pull_request_target
Annotations
1 error
|
coq-elpi
Process completed with exit code 1.
|