| selections { |
| function: "GitFileIsolator" |
| platform: UBUNTU |
| } |
| |
| selections { |
| function: "Pylint" |
| platform: UBUNTU |
| } |
| |
| selections { |
| function: "Spacey" |
| platform: UBUNTU |
| } |
| |
| selections { |
| function: "SpellChecker" |
| platform: UBUNTU |
| } |
| |
| selections { |
| function: "Cpplint" |
| platform: UBUNTU |
| } |
| |
| repos { |
| gerrit_project { |
| host: "dawn-review.googlesource.com" |
| project: "tint" |
| git_url: "https://dawn.googlesource.com/tint" |
| } |
| } |
| |
| service_account: "tricium-prod@appspot.gserviceaccount.com" |
| swarming_service_account: "swarming@tricium-prod.iam.gserviceaccount.com" |
