commit 469c4b6336f373bf8e9d060bc286e9c3968f8a2e
author Damien Martin-Guillerez <dmarting@google.com> Fri Jul 01 12:00:47 2016 +0200
committer Damien Martin-Guillerez <dmarting@google.com> Fri Jul 01 12:00:47 2016 +0200
tree 4b72c3555b62413c9c71fa70ded450f5ee190313
parent b8c27a9643ba4bd9287b4516d09909bd78097eb1

Run PR / Code reviews only on Bazel release

This will improve cache hit.

Change-Id: Ia86d34f1863e5ddb42cc688608b2a2884652a95b

jenkins/jenkins.bzl

diff --git a/jenkins/jenkins.bzl b/jenkins/jenkins.bzl
index f47653d..3b66114 100644
--- a/jenkins/jenkins.bzl
+++ b/jenkins/jenkins.bzl
@@ -239,6 +239,8 @@
       project_url=project_url,
       platforms=platforms,
       test_platforms=test_platforms)
+  substitutions["BAZEL_VERSIONS"] = "\n".join([
+      v for v in bazel_versions if not v.startswith("HEAD")])
   if pr_enabled:
     jenkins_job(
         name = "PR-" + name,