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