Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-08 08:33:26 +00:00
Code Issues Projects Releases Packages Wiki Activity

Taskcluster: add android-dev task

Browse source
This commit is contained in:
Simon Sapin 2018-12-11 19:00:16 +01:00
parent ac9a72aed5
commit 0619541004
1 changed files with 16 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

18
etc/taskcluster/decision_task.py
View file

@ -14,7 +14,8 @@ def main(task_for, mock=False):
CONFIG.treeherder_repo_name = "servo-" + CONFIG.git_ref.split("/")[-1] CONFIG.treeherder_repo_name = "servo-" + CONFIG.git_ref.split("/")[-1]
linux_tidy_unit() linux_tidy_unit()
android_arm32() android_arm32_dev()
android_arm32_release()
windows_unit() windows_unit()
macos_unit() macos_unit()
@ -118,7 +119,20 @@ def with_rust_nightly():
) )
def android_arm32(): def android_arm32_dev():
return (
android_build_task("Dev build")
.with_treeherder("Android ARMv7")
.with_script("""
./mach build --android --dev
./etc/ci/lockfile_changed.sh
python ./etc/ci/check_dynamic_symbols.py
""")
.create()
)
def android_arm32_release():
return ( return (
android_build_task("Release build") android_build_task("Release build")
.with_treeherder("Android ARMv7") .with_treeherder("Android ARMv7")