[refactor] instance declaration #58
garesnix-action-coq-master.yml
on: pull_request_target
Annotations
2 errors
|
mathcomp-single
Process completed with exit code 1.
|
|
coq
Process completed with exit code 1.
|