[tor-bugs] #31463 [Core Tor/Tor]: Redundant build exclusion not working corrently on travis

[Tor Bug Tracker & Wiki]

#31463: Redundant build exclusion not working corrently on travis
------------------------------+------------------------------
     Reporter:  Sebastian     |      Owner:  (none)
         Type:  defect        |     Status:  new
     Priority:  Medium        |  Milestone:  Tor: unspecified
    Component:  Core Tor/Tor  |    Version:  Tor: unspecified
     Severity:  Normal        |   Keywords:  CI
Actual Points:                |  Parent ID:
       Points:                |   Reviewer:  nickm
      Sponsor:                |
------------------------------+------------------------------
 Since the hardening options are used again we're using one more builder
 than intended

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