diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2020-10-22 13:10:34 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-10-22 17:21:59 +0200 |
commit | 5f19e1d571e714b870cfb11bb364cd87151cc8da (patch) | |
tree | 841c56f91abbd4830aff9a738ee46acce80ff57c /thirdparty/rvo2/src | |
parent | baec2445e1dc1604518ab607d0135f52ead9cb8c (diff) |
CI: Refactor Android workflow, use pre-installed SDK and NDK
No need to waste time downloading all this when it's readily available :)
Also use the official action to setup Java 8.
Also build both architectures (armv7 and arm64v8) and generate the APK,
so we can upload it.
Remove now unused and outdated `misc/ci/android-tools-linux.sh`.
Diffstat (limited to 'thirdparty/rvo2/src')
0 files changed, 0 insertions, 0 deletions