Skip to content

Fix CI false positives#582

Merged
johnhaley81 merged 4 commits intomasterfrom
fix-ci-false-positives
May 19, 2015
Merged

Fix CI false positives#582
johnhaley81 merged 4 commits intomasterfrom
fix-ci-false-positives

Conversation

@johnhaley81
Copy link
Copy Markdown
Collaborator

No description provided.

John Haley added 3 commits May 19, 2015 15:06
For some reason, CI tests always report a success if we don't kill
the process.
This reverts commit 9e79094.
@johnhaley81 johnhaley81 force-pushed the fix-ci-false-positives branch from 3efad88 to 82ba6af Compare May 19, 2015 22:06
@johnhaley81 johnhaley81 changed the title [WIP] Trying to fix CI false positives Trying to fix CI false positives May 19, 2015
@johnhaley81
Copy link
Copy Markdown
Collaborator Author

Windows is still broken, that will be fixed in #566

@johnhaley81 johnhaley81 changed the title Trying to fix CI false positives Fix CI false positives May 19, 2015
johnhaley81 added a commit that referenced this pull request May 19, 2015
@johnhaley81 johnhaley81 merged commit 7c27bb4 into master May 19, 2015
@johnhaley81 johnhaley81 deleted the fix-ci-false-positives branch May 19, 2015 22:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant