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

Updating CI files #180

Merged
merged 1 commit into from Dec 21, 2017
Merged

Updating CI files #180

merged 1 commit into from Dec 21, 2017

Conversation

victorb
Copy link
Member

@victorb victorb commented Dec 20, 2017

This commit updates all CI scripts to the latest version

@victorb
Updating CI files
01edc04 
This commit updates all CI scripts to the latest version
@ghost ghost assigned victorb Dec 20, 2017
@ghost ghost added the status/in-progress In progress label Dec 20, 2017
@daviddias
Copy link
Member

Only one of the jenkins is happy?!

@victorb
Copy link
Member Author

victorb commented Dec 21, 2017

@diasdavid from IRC, yesterday:

01:26:47 <@victorbjelkholm> daviddias: seems to be something with the tests on windows, retried twice and now its passing. Race condition maybe?

@daviddias
Copy link
Member

Thanks @victorbjelkholm. Going to merge so that we have latest CI running. Let's figure out the condition with the big PR #176 that is coming in :)

@daviddias daviddias merged commit 3c328de into master Dec 21, 2017
@daviddias daviddias deleted the automatic-ci-script-update branch December 21, 2017 14:48
@ghost ghost removed the status/in-progress In progress label Dec 21, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@victorb victorb

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@victorb @daviddias