chiark / gitweb /
jenkins-build-makebuildserver: bump cpus to 2 and memory to 6144