chiark / gitweb /
travis-ci: show sdkmanager logs