Improve retries in the installation scripts

rust-marker / marker

An experimental linting interface for Rust. Let's make custom lints a reality

https://rust-marker.github.io/marker/

Other

144 stars 11 forks source link

Improve retries in the installation scripts #308

Closed Veetaha closed 1 year ago

Veetaha commented 1 year ago

Today on our CI the installation of marker randomly failed:

GitHub returned 403 due to some internal bugs I suppose. To fix this I added --retry-all-errors which should retry in such cases and added more configurations for retries. This way on CI we use the retry config that gives up in 30 minutes. This solves the problem of red master CI when doing a release (part of #274).

xFrednet commented 1 year ago

Everything looks good to me, thank you for the update :D