retire build-arm-* raspi boxes
there are three boxes in our infra that are just too slow to provide the service they were designed for. they are the build-arm-0[123].torproject.org
boxes and should be retired.
there are three boxes in our infra that are just too slow to provide the service they were designed for. they are the build-arm-0[123].torproject.org
boxes and should be retired.