[tor-bugs] #32383 [Internal Services/Tor Sysadmin Team]: retire build-arm-* raspi boxes

[Tor Bug Tracker & Wiki]

#32383: retire build-arm-* raspi boxes
-------------------------------------------------+-------------------------
     Reporter:  anarcat                          |      Owner:  anarcat
         Type:  task                             |     Status:  assigned
     Priority:  Medium                           |  Milestone:
    Component:  Internal Services/Tor Sysadmin   |    Version:
  Team                                           |
     Severity:  Normal                           |   Keywords:
Actual Points:                                   |  Parent ID:
       Points:                                   |   Reviewer:
      Sponsor:                                   |
-------------------------------------------------+-------------------------
 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.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/32383>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online