Merge remote-tracking branch 'tor-github/pr/1735' into maint-0.4.3

This commit is contained in:
teor
2020-03-13 13:00:58 +10:00
3 changed files with 46 additions and 26 deletions
+4
View File
@@ -0,0 +1,4 @@
o Testing:
- Remove a redundant distcheck job. Closes ticket 33194.
- Sort the Travis jobs in order of speed. Putting the slowest jobs first
takes full advantage of Travis job concurrency. Closes ticket 33194.
+4
View File
@@ -0,0 +1,4 @@
o Testing:
- Stop allowing the Chutney IPv6 Travis job to fail. This job was
previously configured to fast_finish (which requires allow_failure), to
speed up the build. Closes ticket 33195.