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

Container-CI work cherry-pick #136

Merged
merged 6 commits into from Aug 13, 2015
Merged

Container-CI work cherry-pick #136

merged 6 commits into from Aug 13, 2015

Conversation

mohawk2
Copy link
Member

@mohawk2 mohawk2 commented Aug 12, 2015

Contains the safe updates from my CI changes. Some parts aren't fully ready yet, but these are. All of them save time, except for the output-sorting which helps the poor reader comprehend quicker.

@zmughal
Copy link
Member

zmughal commented Aug 13, 2015

I looked over the changes and they're all good. Travis-CI is happy with them as well. Can't wait to see the faster container builds when the rest of #133 lands.

Merge: Aye

@zmughal zmughal merged commit 88ec6e5 into master Aug 13, 2015
@zmughal zmughal deleted the ccp branch August 13, 2015 01:09
@zmughal zmughal mentioned this pull request Aug 13, 2015
@zmughal zmughal added this to the PDL v2.013 milestone Aug 13, 2015
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.

None yet

2 participants