diff options
author | 2018-06-12 09:06:45 -0700 | |
---|---|---|
committer | 2018-06-12 09:08:20 -0700 | |
commit | 1b94e64ee8a1d385e92a8d9f4c9a06e2d99c82bf (patch) | |
tree | 4ff681f825033876f2aa150c9f0b83e8b7d7063d /src/main/java/com/google/devtools/build/lib | |
parent | 16b33e87e4d8390850cba045b749076d59e797e6 (diff) |
Disable flaky test
Temporary workaround for #5328.
PiperOrigin-RevId: 200224317
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib')
0 files changed, 0 insertions, 0 deletions