Remove Travis shutdown debug scripts, and remove CI-specific DNS settings#53234
Remove Travis shutdown debug scripts, and remove CI-specific DNS settings#53234bors merged 3 commits intorust-lang:masterfrom
Conversation
This comment has been minimized.
This comment has been minimized.
|
(I just ignored tidy since I expect this PR would be quickly reverted after Travis got what they need.) |
|
@bors: r+ p=1 |
|
📌 Commit 548619ad781f576163e98072cfa5da98e472db21 has been approved by |
|
⌛ Testing commit 548619ad781f576163e98072cfa5da98e472db21 with merge 235f85f17cf60cbc91b8e4fe78c9debd7dd47fc3... |
|
💔 Test failed - status-travis |
This comment has been minimized.
This comment has been minimized.
|
@bors r=alexcrichton |
|
📌 Commit 212fd930424387063fce094386a17f4f6e7d07a2 has been approved by |
|
⌛ Testing commit 212fd930424387063fce094386a17f4f6e7d07a2 with merge 2403f83feea6b804fb79a240f6e682a530c8fc57... |
|
💔 Test failed - status-travis |
This comment has been minimized.
This comment has been minimized.
a501452 to
619301c
Compare
|
⌛ Testing commit 70873d2015e6b577d9e358aad27b2f771584e788 with merge 994ac02e163ad6429384bcf78c2668b650a237f8... |
|
💔 Test failed - status-travis |
This comment has been minimized.
This comment has been minimized.
|
Spurious, but I'll like to hold off merging the final commit for now. |
|
(TODO: Someone issue a |
|
@bors try |
|
⌛ Trying commit 536ade5b869522b9c37380c0aaa63d1e87cb58b4 with merge 764a55157c75f2986f74392ab0544d8a2a3bf41d... |
|
💔 Test failed - status-travis |
This comment has been minimized.
This comment has been minimized.
|
I've extracted the DNS logs wanted by Travis, and thus the debugging code is removed from this PR now. This PR now only reverts #53134 and #53035. I've also reverted half of #51420 so we'll use the default DNS again. |
|
@bors: r+ |
|
📌 Commit b75f1ba has been approved by |
|
@bors p=0 rollup |
Since the cause of the host shutdown (travis-ci/travis-ci#4924) is found, we could revert the shutdown debug attempts to shorten the logs.
Additionally, we're pretty sure a custom DNS (added in will not help travis-ci/travis-ci#9696, so reverting that part of #51420 to reduce CI-specific settings.