Closed domenkozar closed 2 years ago
It seems that the installer sometimes returns 400, that could be fixed with --retry-on-error, but the curl on Debian doesn't support that yet.
@CohenCyril I pushed a fix that might work, can you give that a try? Thanks!
@CohenCyril I'll make a release tomorrow unless I hear you're still getting errors with this PR
@CohenCyril I'll make a release tomorrow unless I hear you're still getting errors with this PR
No error so far...
Thanks a lot!
Here is a failure: https://github.com/coq-community/coq-nix-toolbox/runs/4118108940?check_suite_focus=true