diff options
Diffstat (limited to 'THANKS.head')
| -rw-r--r-- | THANKS.head | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/THANKS.head b/THANKS.head index ec797510..81fa96a5 100644 --- a/THANKS.head +++ b/THANKS.head @@ -13,10 +13,11 @@ ** 4 cores and 8 GB memory for profitbricks-build9-amd64.debian.net ** 4 cores and 7 GB memory for profitbricks-build10-amd64.debian.net ** 3 cores and 6 GB memory for freebsd-jenkins.debian.net (also running on Profitbricks virtual hardware) - * link:https://qa.debian.org/developer.php?login=vagrant%40debian.org[Vagrant] provides and hosts 18 'armhf' systems: - ** three quad-cores with 4 GB RAM each, + * link:https://qa.debian.org/developer.php?login=vagrant%40debian.org[Vagrant] provides and hosts 21 'armhf' systems: + ** five quad-cores with 4 GB RAM each, ** three octo-cores with 2 GB RAM each, ** seven quad-cores with 2 GB RAM each, + ** one dual-core with 2 GB RAM, ** two quad-cores with 1 GB RAM and ** three dual-cores with 1 GB RAM. * link:https://letsencrypt.org[Let's encrypt] provides free of charge SSL certificates for jenkins.debian.net, reproducible.debian.net and tests.reproducible-builds.org. |