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