jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/344922 )
Change subject: [cirrus] enable more accurate regex timeout
......................................................................
[cirrus] enable more accurate regex timeout
Activate feature implemented in I1ce0378 and I7a6f6b7.
Bug: T161095
Change-Id: I0912943e5fcf1fe9785e3b20beed046f9b8c2d31
---
M wmf-config/CirrusSearch-common.php
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
jenkins-bot: Verified
Dereckson: Looks good to me, approved
diff --git a/wmf-config/CirrusSearch-common.php
b/wmf-config/CirrusSearch-common.php
index 2874279..d7cf3cc 100644
--- a/wmf-config/CirrusSearch-common.php
+++ b/wmf-config/CirrusSearch-common.php
@@ -86,6 +86,7 @@
'regex' => [
'build',
'use',
+ 'use_extra_timeout', // More accurate timeout (T152895)
],
'super_detect_noop' => true,
'id_hash_mod_filter' => true,
--
To view, visit https://gerrit.wikimedia.org/r/344922
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0912943e5fcf1fe9785e3b20beed046f9b8c2d31
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: DCausse <[email protected]>
Gerrit-Reviewer: Dereckson <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
