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"