Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Trivial change to prove that Travis CI is broken #870

Closed
wants to merge 1 commit into from

Conversation

tubaman
Copy link

@tubaman tubaman commented Nov 15, 2019

This is a trivial change to prove that CI is busted right now.

@stale
Copy link

stale bot commented Dec 15, 2019

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

@stale stale bot added the stale Ticket that is likely to go nowhere and that will be closed soon label Dec 15, 2019
@josephw
Copy link
Contributor

josephw commented Dec 21, 2019

See this comment for some detail on what's failing.

@stale stale bot removed the stale Ticket that is likely to go nowhere and that will be closed soon label Dec 21, 2019
@adehad
Copy link
Contributor

adehad commented May 2, 2021

New GitHub Actions CI pipeline now in place. See #1017

@adehad adehad closed this May 2, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants