Update Lean Project #125
TwoFXAnnotations
2 errors and 2 warnings
|
update_lean
Process completed with exit code 1.
|
|
update_lean
lake build failed
|
|
update_lean
Back off 21.745 seconds before retry.
|
|
update_lean
Failed to download action 'https://api.github.com/repos/leanprover-community/lean-update/tarball/5010048b67406bb7481dee769a4dcd1f7e560393'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|