diff options
| author | Kevin Krakauer <krakauer@google.com> | 2020-02-06 17:07:04 -0800 |
|---|---|---|
| committer | Kevin Krakauer <krakauer@google.com> | 2020-02-06 17:07:04 -0800 |
| commit | d98287f5eb40a9c91668b7511824c05d542e0599 (patch) | |
| tree | f8430747db6e1c02fe0eb45a7dad0899d06bd072 /benchmarks/harness/machine_producers/BUILD | |
| parent | bf0ea204e9415a181c63ee10078cca753df14f7e (diff) | |
| parent | 16561e461e82f8d846ef1f3ada990270ef39ccc6 (diff) | |
Merge branch 'master' into tcp-matchers-submit
Diffstat (limited to 'benchmarks/harness/machine_producers/BUILD')
| -rw-r--r-- | benchmarks/harness/machine_producers/BUILD | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/benchmarks/harness/machine_producers/BUILD b/benchmarks/harness/machine_producers/BUILD index 48ea0ef39..3711a397f 100644 --- a/benchmarks/harness/machine_producers/BUILD +++ b/benchmarks/harness/machine_producers/BUILD @@ -76,5 +76,6 @@ py_test( python_version = "PY3", tags = [ "local", + "manual", ], ) |