diff options
| -rw-r--r-- | THANKS.head | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/THANKS.head b/THANKS.head index 1fab8449..151a2867 100644 --- a/THANKS.head +++ b/THANKS.head @@ -3,10 +3,13 @@ === Sponsors * The (virtualized) hardware is sponsored since October 2012 by link:https://www.profitbricks.co.uk[Profitbricks] - Thanks a lot! Currently we are using: - ** 12 cores and 50 GB memory for jenkins.debian.net - ** 14 cores and 42 GB memory for profitbricks-build1-amd64.debian.net - ** 15 cores and 42 GB memory for profitbricks-build2-amd64.debian.net + ** 23 cores and 64 GB memory for jenkins.debian.net + ** 17 cores and 48 GB memory for profitbricks-build1-amd64.debian.net + ** 18 cores and 48 GB memory for profitbricks-build2-amd64.debian.net + ** 8 cores and 16 GB memory for profitbricks-build3-amd64.debian.net ** 4 cores and 8 GB memory for profitbricks-build4-amd64.debian.net + ** 17 cores and 48 GB memory for profitbricks-build5-amd64.debian.net + ** 18 cores and 48 GB memory for profitbricks-build6-amd64.debian.net ** 3 cores and 6 GB memory for freebsd-jenkins.debian.net (also running on Profitbricks virtual hardware) * 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 and hosting four 'armhf' systems, two quad-cores with 2 GB RAM each and two dual-cores with 1 GB RAM. |