Always resolve files using Coq #20
rlepigrenix-action-coq-master-min-elpi.yml
on: pull_request_target
Annotations
1 error
|
hierarchy-builder
Process completed with exit code 1.
|