diff options
| author | bors <bors@rust-lang.org> | 2019-04-07 12:33:01 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-04-07 12:33:01 +0000 |
| commit | df7a91f1925524fd6084c670726f1e289f224a83 (patch) | |
| tree | fda10abf1799cf0ff50bb58d566dd21df8c9a4d0 /src/libstd/sys/unix/stack_overflow.rs | |
| parent | 4fb888bf04d2f1913e78e9eae51ac5695df1dc01 (diff) | |
| parent | d13547a1c61b940c1ca20159ad3b24b160c90ac7 (diff) | |
| download | rust-df7a91f1925524fd6084c670726f1e289f224a83.tar.gz rust-df7a91f1925524fd6084c670726f1e289f224a83.zip | |
Auto merge of #59770 - pietroalbini:pin-android-emulator, r=kennytm
ci: pin android emulator to 28.0.23 Apparently Android Emulator 28.0.25 (the latest one) is broken for us, and `sdkmanager` doesn't have a way to pin a package to a specific version. This PR stops downloading the emulator from `sdkmanager`, downloading it manually instead. Tested this locally and confirmed it works. I'll open an issue on Google's issue tracker later today. Fixes https://github.com/rust-lang/rust/issues/59757 r? @kennytm
Diffstat (limited to 'src/libstd/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions