Remove extrenaous slash

Change-Id: I6bf4f802091cd4174eb123f74d2055ac915b22b3
diff --git a/jenkins/jobs/BUILD b/jenkins/jobs/BUILD
index 23fa3a5..8cdefe6 100644
--- a/jenkins/jobs/BUILD
+++ b/jenkins/jobs/BUILD
@@ -140,7 +140,7 @@
     substitutions = {"GLOBAL_USE_UPSTREAM_BRANCH": "True"},
     targets = [],
     tests = [
-        "filter(\"^//src/test/docker/\", //src/test/...)",
+        "filter(\"^//src/test/docker\", //src/test/...)",
         "//tools/cpp/...",
     ],
 )