diff options
author | 2017-03-16 12:42:10 -0700 | |
---|---|---|
committer | 2017-03-17 00:46:01 -0700 | |
commit | 246c0eee336fd657f82c9f4503295164efbdf9a6 (patch) | |
tree | adb059c8dec4a0644bc20a4e06efff1954a8ddab /tools/jenkins/run_interop.sh | |
parent | 6ce6166bd0451db14893b896384517bb95fbfea3 (diff) |
delay health check, increase timeout
Diffstat (limited to 'tools/jenkins/run_interop.sh')
0 files changed, 0 insertions, 0 deletions