mirror of
https://github.com/servo/servo.git
synced 2025-08-01 19:50:30 +01:00
Use provided docker builder worker for github PR tasks.
This commit is contained in:
parent
f45bea7e7c
commit
03f79b241c
2 changed files with 4 additions and 3 deletions
|
@ -75,6 +75,7 @@ def main(task_for):
|
|||
elif task_for == "github-pull-request":
|
||||
CONFIG.treeherder_repository_name = "servo-prs"
|
||||
CONFIG.index_read_only = True
|
||||
CONFIG.docker_image_build_worker_type = None
|
||||
|
||||
# We want the merge commit that GitHub creates for the PR.
|
||||
# The event does contain a `pull_request.merge_commit_sha` key, but it is wrong:
|
||||
|
@ -625,7 +626,7 @@ def macos_build_task(name):
|
|||
|
||||
CONFIG.task_name_template = "Servo: %s"
|
||||
CONFIG.index_prefix = "project.servo.servo"
|
||||
CONFIG.docker_image_buil_worker_type = "servo-docker-worker"
|
||||
CONFIG.docker_image_build_worker_type = "servo-docker-worker"
|
||||
CONFIG.docker_images_expire_in = build_dependencies_artifacts_expire_in
|
||||
CONFIG.repacked_msi_files_expire_in = build_dependencies_artifacts_expire_in
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue