diff options
author | 2020-08-27 16:53:29 +0000 | |
---|---|---|
committer | 2020-08-27 16:53:29 +0000 | |
commit | f4c2c0995bb963f598be10481fb68044796582dc (patch) | |
tree | 64fae3f7f57202c6b556a1ee4d3d5f7b34d916bb /jjb | |
parent | f85e2fd784e7a8937726b06a71354f2a1534d2c2 (diff) | |
parent | 33e0ac4559649f126e727d483b3fdf70b6a9a634 (diff) |
Merge "Increase doc merge timeout"
Diffstat (limited to 'jjb')
-rw-r--r-- | jjb/rtdv3/rtdv3.yaml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/jjb/rtdv3/rtdv3.yaml b/jjb/rtdv3/rtdv3.yaml index 017218aa8..a4cec8374 100644 --- a/jjb/rtdv3/rtdv3.yaml +++ b/jjb/rtdv3/rtdv3.yaml @@ -24,7 +24,8 @@ comment-contains-value: remerge$ jobs: - rtdv3-global-verify - - rtdv3-global-merge + - rtdv3-global-merge: + build-timeout: 30 stream: - master: branch: '*' |