Skip to content

Conversation

@wchargin
Copy link
Contributor

@wchargin wchargin commented Dec 8, 2020

Summary:
Some time between 13:41 and 17:20 Pacific time today, Travis stopped
even pretending to run our builds. Note: #4433 reports a Travis status,
whereas #4434 has no such item, not even “pending”. And our Travis
dashboard shows no builds more recent than #4433, either.

Relevant Hacker News: https://news.ycombinator.com/item?id=25338983

Thankfully, we finally landed #2953 on Friday, so we are no longer
dependent on Travis. This patch deletes the Travis configs and excises
all remaining mentions.

Test Plan:
Running git grep -i travis now fails.

wchargin-branch: ci-rm-travis

Summary:
Some time between 13:41 and 17:20 Pacific time today, Travis stopped
even pretending to run our builds. Note: #4433 reports a Travis status,
whereas #4434 has no such item, not even “pending”. And our Travis
dashboard shows no builds more recent than #4433, either.

Relevant Hacker News: <https://news.ycombinator.com/item?id=25338983>

Thankfully, we finally landed #2953 on Friday, so we are no longer
dependent on Travis. This patch deletes the Travis configs and excises
all remaining mentions.

Test Plan:
Running `git grep -i travis` now fails.

wchargin-branch: ci-rm-travis
wchargin-source: c61b1e12df8b53e9231bc36f2c99a7bd140843b4
@nfelt
Copy link
Contributor

nfelt commented Dec 8, 2020

W7H5mhS - Imgur

@wchargin wchargin requested a review from nfelt December 8, 2020 02:08
@wchargin wchargin merged commit 5a25a2a into master Dec 8, 2020
@wchargin wchargin deleted the wchargin-ci-rm-travis branch December 8, 2020 03:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants