mirror of
https://github.com/servo/servo.git
synced 2025-08-05 13:40:08 +01:00
Taskcluster: run tasks for PRs from everyone
These tasks should be untrusted, since they run before review. The `repo:github.com/servo/servo:pull-request` role determines what scopes (permissions) those tasks have. https://tools.taskcluster.net/auth/roles/repo%3Agithub.com%2Fservo%2Fservo%3Apull-request
This commit is contained in:
parent
7a64588efa
commit
d4038d0580
1 changed files with 1 additions and 1 deletions
|
@ -1,7 +1,7 @@
|
|||
version: 1
|
||||
policy:
|
||||
# https://docs.taskcluster.net/docs/reference/integrations/taskcluster-github/docs/taskcluster-yml-v1#pull-requests
|
||||
pullRequests: collaborators
|
||||
pullRequests: public
|
||||
tasks:
|
||||
- $if: 'tasks_for == "github-push"'
|
||||
then:
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue