[TC] CS projections replaced with uvar #235
FissoreDnix-action-coq-master.yml
on: pull_request_target
Annotations
1 error and 2 warnings
|
coq-elpi
Process completed with exit code 1.
|
|
coq
Failed to download action 'https://api.github.com/repos/cachix/install-nix-action/tarball/ba0dd844c9180cbf77aa72a116d6fbc515d0e87b'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
coq
Back off 26.574 seconds before retry.
|