]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #59770 - pietroalbini:pin-android-emulator, r=kennytm
authorbors <bors@rust-lang.org>
Sun, 7 Apr 2019 12:33:01 +0000 (12:33 +0000)
committerbors <bors@rust-lang.org>
Sun, 7 Apr 2019 12:33:01 +0000 (12:33 +0000)
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


No differences found