Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Prepare stylo crates for switching to the 2018 edition #22083

Merged
merged 5 commits into from Nov 10, 2018
Merged
Changes from 1 commit
Commits
File filter...
Filter file types
Jump to…
Jump to file
Failed to load files.

Always

Just for now

Prev

Always build Docker images on AWS

  • Loading branch information
SimonSapin committed Nov 10, 2018
commit b0d13cc2543d78c3369ea9894f270a126867cfc0
@@ -327,6 +327,7 @@ def windows_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_images_expire_in = build_dependencies_artifacts_expire_in
CONFIG.repacked_msi_files_expire_in = build_dependencies_artifacts_expire_in

@@ -40,6 +40,7 @@ def __init__(self):
self.index_prefix = "garbage.servo-decisionlib"
self.scopes_for_all_subtasks = []
self.routes_for_all_subtasks = []
self.docker_image_buil_worker_type = None
self.docker_images_expire_in = "1 month"
self.repacked_msi_files_expire_in = "1 month"

@@ -627,7 +628,7 @@ def with_dockerfile(self, dockerfile):

image_build_task = (
DockerWorkerTask("Docker image: " + image_name)
.with_worker_type(self.worker_type)
.with_worker_type(CONFIG.docker_image_buil_worker_type or self.worker_type)
.with_max_run_time_minutes(30)
.with_index_and_artifacts_expire_in(CONFIG.docker_images_expire_in)
.with_features("dind")
@@ -694,4 +695,4 @@ def deindent(string):


def url_basename(url):
return url.rpartition("/")[-1]
return url.rpartition("/")[-1]
ProTip! Use n and p to navigate between commits in a pull request.
You can’t perform that action at this time.