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

if-then

Browse source
This commit is contained in:
Simon Sapin 2018-08-16 17:12:57 +02:00
parent 903dce08ca
commit 73d9baf9fa
1 changed files with 29 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.taskcluster.yml
View file

@ -4,6 +4,7 @@ policy:
pullRequests: collaborators pullRequests: collaborators
tasks: tasks:
- $if: 'tasks_for == "github-push"' - $if: 'tasks_for == "github-push"'
then:
provisionerId: aws-provisioner-v1 provisionerId: aws-provisioner-v1
workerType: github-worker workerType: github-worker
created: {$fromNow: ''} created: {$fromNow: ''}