[tor-bugs] #30745 [Core Tor/Tor]: Document disabled CI

[Tor Bug Tracker & Wiki]

#30745: Document disabled CI
------------------------------+--------------------------------
     Reporter:  teor          |      Owner:  teor
         Type:  defect        |     Status:  assigned
     Priority:  Medium        |  Milestone:  Tor: 0.4.1.x-final
    Component:  Core Tor/Tor  |    Version:
     Severity:  Normal        |   Keywords:
Actual Points:                |  Parent ID:
       Points:  0.2           |   Reviewer:
      Sponsor:                |
------------------------------+--------------------------------
 Add a section to our CI status page for disabled CI

 Add a section to doc/HACKING/ReleasingTor.md reminding releasers to
 manually check the status of whatever the disabled CI would have
 checked.

 CI person should periodically look at these jobs.

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