[refactor] instance declaration #52
ptorrx
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
nix-action-coq-master.yml
on: pull_request_target
Annotations
2 errors
|
coq
Process completed with exit code 1.
|
|
mathcomp-single
Process completed with exit code 1.
|