fix common source of flaky tests (443 / 503 github errors) by retrying with backoff#14547

Merged

Araq merged 1 commit intonim-lang:develfrom timotheecour:pr_ref_14545_windows_ci_fail

Jun 2, 2020

+36-3

Commits on Jun 2, 2020

fix #266 retry on failure to avoid common 503 github errors
timotheecour
committed