Giuseppe Lavagetto has submitted this change and it was merged.

Change subject: beta: correct HHVM TC size
......................................................................


beta: correct HHVM TC size

Change-Id: Ibc1eaa1b5d1b3705ffd8bad8300f47823ec1abd3
---
M hieradata/labs/deployment-prep/common.yaml
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Giuseppe Lavagetto: Verified; Looks good to me, approved



diff --git a/hieradata/labs/deployment-prep/common.yaml 
b/hieradata/labs/deployment-prep/common.yaml
index c466400..8cf90ae 100644
--- a/hieradata/labs/deployment-prep/common.yaml
+++ b/hieradata/labs/deployment-prep/common.yaml
@@ -267,7 +267,7 @@
 "mediawiki::jobrunner::runners_translate": 1
 "mediawiki::jobrunner::runners_upload": 2
 "mediawiki::jobrunner::runners_centralauth": 1
-"hhvm::base_jit_size": 187904819200
+"hhvm::base_jit_size": 183500800
 "role::logging::mediawiki::log_directory": /data/project/logs
 "role::mediawiki::webserver::pool": one-pool-to-rule-them-all
 "mediawiki::users::web": www-data

-- 
To view, visit https://gerrit.wikimedia.org/r/207752
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ibc1eaa1b5d1b3705ffd8bad8300f47823ec1abd3
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to