| commit | bccf83d9176db295cb4b703f0b622e3bf235cf2b | [log] [tgz] |
|---|---|---|
| author | Philipp Wollermann <philwo@google.com> | Thu Jan 18 12:39:44 2018 +0100 |
| committer | Philipp Wollermann <philwo@google.com> | Sun Feb 04 14:22:49 2018 +0100 |
| tree | 631b9ccc6f6ab922897d2f94babcd19c00c79329 | |
| parent | b8a31d34634efff49e9e50b7f015680878328755 [diff] |
Rename Tutorial -> tutorial. Change-Id: I0fc3f8bc6e36e766ca20d45d48018293f96a43eb
diff --git a/jenkins/jobs/BUILD b/jenkins/jobs/BUILD index 4da3e0d..4dbd9b1 100644 --- a/jenkins/jobs/BUILD +++ b/jenkins/jobs/BUILD
@@ -63,7 +63,7 @@ # Jobs from the bazelbuild org with customization bazel_github_job( - name = "Tutorial", + name = "tutorial", config = ":configs/tutorial.json", project = "examples", workspace = "tutorial",