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.

Sign up for GitHub

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

Jump to bottom

increase travis ci performance #16

Merged
merged 3 commits into from Aug 7, 2019
Merged

increase travis ci performance #16

merged 3 commits into from Aug 7, 2019

Conversation

Gummibeer
Copy link
Collaborator

fixes #15

@Gummibeer Gummibeer self-assigned this Aug 5, 2019
@Gummibeer
Copy link
Collaborator Author

The time needed is just half. 8-10 instead of 16-20min for a full build

@Gummibeer Gummibeer requested a review from brendt August 5, 2019 17:26
@brendt
Copy link
Collaborator

brendt commented Aug 7, 2019 •
edited

Thanks, looking good.

@brendt brendt merged commit 6de0f4c into master Aug 7, 2019
@brendt brendt deleted the fix-travis-speed branch August 7, 2019 06:43
@brendt brendt mentioned this pull request Aug 7, 2019
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@brendt brendt Awaiting requested review from brendt

Assignees

@Gummibeer Gummibeer

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

TravisCI is super slow
2 participants
@Gummibeer @brendt