Skip to content
New issue

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

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

Already on GitHub? # to your account

Remove travis support. #22

Merged
merged 1 commit into from
Jul 26, 2017
Merged

Remove travis support. #22

merged 1 commit into from
Jul 26, 2017

Conversation

clalancette
Copy link
Contributor

We don't need it since we have buildfarm support.

Signed-off-by: Chris Lalancette clalancette@osrfoundation.org

We don't need it since we have buildfarm support.

Signed-off-by: Chris Lalancette <clalancette@osrfoundation.org>
@clalancette
Copy link
Contributor Author

All right, this passes on everything but travis. I'm going to merge this, and I think subsequent PRs will only have buildfarm support, not travis.

@clalancette clalancette merged commit 31474b9 into indigo-devel Jul 26, 2017
@clalancette clalancette deleted the kill-travis branch July 26, 2017 17:36
@sloretz
Copy link
Contributor

sloretz commented Feb 16, 2018

FYI The settings for this repo had a thing for travis under Integration and services. I removed it, so I think travis won't try to build any more PRs.

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants