ci: use a custom android sdk manager with pinning and mirroring#59926

Merged

bors merged 1 commit intorust-lang:masterfrom

pietroalbini:android-sdk-manager

Apr 15, 2019

Commits on Apr 12, 2019

ci: use a custom android sdk manager with pinning and mirroring
pietroalbini
committed