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

travis #61

Merged
merged 2 commits into from
Jun 10, 2019
Merged

travis #61

merged 2 commits into from
Jun 10, 2019

Conversation

erikzhang
Copy link
Member

No description provided.

@erikzhang erikzhang requested a review from shargon June 5, 2019 08:17
@shargon
Copy link
Member

shargon commented Jun 5, 2019

It seems that Travis doesn't start.

@erikzhang
Copy link
Member Author

Don't know why.

@vncoelho
Copy link
Member

vncoelho commented Jun 6, 2019

Quite strange, because all PRs are with pending status.

image

Maybe @erikzhang could exclude this project from Travis and include it again.

@erikzhang erikzhang merged commit 2858bfb into master Jun 10, 2019
@erikzhang erikzhang deleted the travis branch June 10, 2019 09:25
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.

3 participants