diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-09-07 17:08:43 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-09-07 17:08:43 +0200 |
| commit | bba3f0a308cceb56bad4aa1efe13927360ae463f (patch) | |
| tree | 7c778faa9df588ff0b232f37d0ca797ab8f25daa /.github | |
| parent | 33c3f91885429b60cab551e761f297a640aff7d5 (diff) | |
If fallback is enabled, temporarily disable substituters after a failure
Otherwise, we just keep asking the substituter for other .narinfo
files, which can take a very long time due to retries/timeouts.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions