Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-09-14 00:48:20 +01:00
Code Issues Projects Releases Packages Wiki Activity

Support both Taskcluster deployments

Browse source 
Part of https://bugzilla.mozilla.org/show_bug.cgi?id=1574648
This commit is contained in:
Simon Sapin 2019-11-03 15:08:44 +01:00
parent 5abb013dfd
commit d8b630779d
4 changed files with 35 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

15
.taskcluster.yml
View file

@ -8,7 +8,10 @@ policy:
tasks:
$let:
task_common:
provisionerId: aws-provisioner-v1
provisionerId:
$if: "taskcluster_root_url == 'https://taskcluster.net'"
then: aws-provisioner-v1
else: proj-servo
created: {$fromNow: ''}
deadline: {$fromNow: '1 day'}
extra:
@ -53,7 +56,10 @@ tasks:
description: ""
owner: ${event.pusher.name}@users.noreply.github.com
source: ${event.compare}
workerType: servo-docker-worker
workerType:
$if: "taskcluster_root_url == 'https://taskcluster.net'"
then: servo-docker-worker
else: docker
scopes:
- "assume:repo:github.com/servo/servo:branch:${branch}"
routes:
@ -82,7 +88,10 @@ tasks:
description: ""
owner: ${event.sender.login}@users.noreply.github.com
source: ${event.pull_request.url}
workerType: servo-docker-untrusted
workerType:
$if: "taskcluster_root_url == 'https://taskcluster.net'"
then: servo-docker-untrusted
else: docker-untrusted
scopes:
- "assume:repo:github.com/servo/servo:pull-request"
routes: