diff options
author | Christopher Baines <mail@cbaines.net> | 2020-05-17 21:07:03 +0100 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2020-05-17 21:07:03 +0100 |
commit | 137d39440e78454cef83dd4be5701290d00e771e (patch) | |
tree | 33f88637bb10b6864b125442118b654b7ed69c37 /scripts | |
parent | a6eabc572445869e0494a2b9962407352bb86c1d (diff) | |
download | build-coordinator-137d39440e78454cef83dd4be5701290d00e771e.tar build-coordinator-137d39440e78454cef83dd4be5701290d00e771e.tar.gz |
Retry fetching substitutes for builds
In case of failures.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions