[tor-bugs] #27252 [Core Tor/Tor]: Reduce the number of travis jobs

[Tor Bug Tracker & Wiki]

#27252: Reduce the number of travis jobs
-------------------------------------------------+-------------------------
 Reporter:  teor                                 |          Owner:  teor
     Type:  enhancement                          |         Status:
                                                 |  needs_review
 Priority:  Medium                               |      Milestone:  Tor:
                                                 |  0.3.5.x-final
Component:  Core Tor/Tor                         |        Version:
 Severity:  Normal                               |     Resolution:
 Keywords:  rust tor-ci 029-backport-maybe       |  Actual Points:
  032-backport 033-backport 034-backport         |
Parent ID:                                       |         Points:
 Reviewer:  catalyst                             |        Sponsor:
-------------------------------------------------+-------------------------
Changes (by teor):

 * status:  assigned => needs_review
 * reviewer:   => catalyst


Comment:

 Here's what I changed:
 * 0.2.9:
   - skip macOS gcc (-1 job on 0.2.9, -2 jobs on 0.3.2 and later)
   - skip the non-hardened build, because coverage also turns off hardening
 (-1 job on 0.2.9)
 * 0.3.2 and later:
   - do offline rust builds by default, and only do one online rust build
   - skip offline rust builds for Linux gcc, because we do an online rust
 build for Linux gcc (-1 job on 0.3.2 and later)
 * 0.3.4 and later:
   - Don't do a distcheck with --disable-module-dirauth (-1
 configure/make/test on 0.3.4 and later)

 Please review:
 * 0.2.9: ticket27252-029
 * 0.3.2: ticket27252-032
 * 0.3.3: ticket27252-033 (non-trivial merge)
 * 0.3.4: ticket27252-034 (merges cleanly to master)

 I'm assigning catalyst as the reviewer, because they asked for this
 ticket. But feel free to delay the review for high-priority work.

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