[tor-bugs] #28037 [Core Tor/Tor]: Document how to fix or disable failing CI

[Tor Bug Tracker & Wiki]

#28037: Document how to fix or disable failing CI
------------------------------+--------------------------------
     Reporter:  teor          |      Owner:  teor
         Type:  enhancement   |     Status:  assigned
     Priority:  Medium        |  Milestone:  Tor: 0.3.6.x-final
    Component:  Core Tor/Tor  |    Version:
     Severity:  Normal        |   Keywords:  tor-doc, tor-ci
Actual Points:                |  Parent ID:
       Points:                |   Reviewer:
      Sponsor:                |
------------------------------+--------------------------------
 We want our CI to always be passing.

 Sometimes, we can fix the bug quickly, or revert the commit.
 But if the CI environment is broken, we need to disable the failing test
 cases until the bug is fixed.

 In doc/HACKING, document how to disable failing CI jobs.
 In the Travis and Appveyor configs, summarise or give an example of how to
 disable a failing CI config.

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