From cfe9c1ef1f21400bbdc7583ef29cafe955953427 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Tue, 1 Sep 2015 16:46:21 +0200 Subject: update node ressources used --- THANKS.head | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'THANKS.head') diff --git a/THANKS.head b/THANKS.head index a1c4b7d0..8004ca1c 100644 --- a/THANKS.head +++ b/THANKS.head @@ -5,8 +5,8 @@ * The (virtualized) hardware is sponsored since October 2012 by link:https://www.profitbricks.co.uk[Profitbricks] - Thanks a lot! Currently we are using: ** 23 cores and 75 GB memory for jenkins.debian.net ** 8 cores and 32 GB memory for profitbricks-build1-amd64.debian.net - ** 9 cores and 36 GB memory for profitbricks-build2-amd64.debian.net - ** 1 cores and 1 GB memory for profitbricks-build4-amd64.debian.net + ** 8 cores and 32 GB memory for profitbricks-build2-amd64.debian.net + ** 4 cores and 5 GB memory for profitbricks-build4-amd64.debian.net ** 3 cores and 6 GB memory for freebsd-jenkins.debian.net * link:https://globalsign.com[GlobalSign] in January 2015 kindly provided free of charge SSL certificates for both jenkins.debian.net and reproducible.debian.net. * link:https://qa.debian.org/developer.php?login=vagrant%40debian.org[Vagrant] is kindly providing four 'armhf' systems, two quad-cores with 2 GB RAM each and two dual-cores with 1 GB RAM. -- cgit v1.2.3-54-g00ecf