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

[Tor Bug Tracker & Wiki]

#30745: Document disabled CI
-------------------------------------------+-------------------------------
 Reporter:  teor                           |          Owner:  teor
     Type:  enhancement                    |         Status:  assigned
 Priority:  Medium                         |      Milestone:  Tor:
                                           |  0.4.3.x-final
Component:  Core Tor/Tor                   |        Version:
 Severity:  Normal                         |     Resolution:
 Keywords:  043-should process tor-ci doc  |  Actual Points:
Parent ID:                                 |         Points:  0.2
 Reviewer:                                 |        Sponsor:  Sponsor31-can
-------------------------------------------+-------------------------------
Changes (by ahf):

 * keywords:  043-should process tor-ci => 043-should process tor-ci doc


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