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

Eliminate double CI builds on PRs #122

Merged
merged 1 commit into from
Jun 23, 2019

Conversation

mattbrictson
Copy link
Owner

As suggested by this answer: https://stackoverflow.com/a/31882307

@mattbrictson mattbrictson force-pushed the fix-double-travis-builds-on-prs branch from 81df6f9 to 8e135f1 Compare June 23, 2019 00:45
@mattbrictson mattbrictson changed the title Eliminate double Travis CI builds on PRs Eliminate double CI builds on PRs Jun 23, 2019
@mattbrictson mattbrictson merged commit 4bcac90 into master Jun 23, 2019
@mattbrictson mattbrictson deleted the fix-double-travis-builds-on-prs branch June 23, 2019 00:59
@mattbrictson mattbrictson added the 🏠 Housekeeping Non-user facing cleanup and maintenance label Jun 27, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🏠 Housekeeping Non-user facing cleanup and maintenance
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant