diff options
| author | bors <bors@rust-lang.org> | 2021-10-10 01:46:11 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2021-10-10 01:46:11 +0000 |
| commit | 6928fafe06e4ab29317f75194e1bf67c119dccdc (patch) | |
| tree | e42428e9107c1d3bd84461f65831d536dfabb069 /library/std/src | |
| parent | f086f4707757c679813a3e6cd44e7c502a668394 (diff) | |
| parent | 7b5f1b5028514de40fbd1c1a2e26e551c70763e1 (diff) | |
| download | rust-6928fafe06e4ab29317f75194e1bf67c119dccdc.tar.gz rust-6928fafe06e4ab29317f75194e1bf67c119dccdc.zip | |
Auto merge of #89661 - rusticstuff:libisl_mirror_take_two, r=Mark-Simulacrum
CI: Use mirror for libisl downloads for more docker dist builds http://isl.gforge.inria.fr fell from the net a couple of days ago. It hosts libisl source tarballs required by crosstool-ng, which we use for our docker dist cross-compilation builds. Some of the affected builds were already fixed in #89599. This PR sets a mirror URL for the other builds requiring libisl-0.14. They use an older version of crosstool-ng (1.22.0), which has only one mirror setting for all downloads. r? `@Mark-Simulacrum`
Diffstat (limited to 'library/std/src')
0 files changed, 0 insertions, 0 deletions