[tor-bugs] #25550 [Core Tor/Tor]: improve continuous integration support

[Tor Bug Tracker & Wiki]

#25550: improve continuous integration support
------------------------------+--------------------------------
     Reporter:  catalyst      |      Owner:  (none)
         Type:  defect        |     Status:  new
     Priority:  Medium        |  Milestone:  Tor: 0.3.4.x-final
    Component:  Core Tor/Tor  |    Version:
     Severity:  Normal        |   Keywords:  tor-ci
Actual Points:                |  Parent ID:
       Points:                |   Reviewer:
      Sponsor:  Sponsor3      |
------------------------------+--------------------------------


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