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

Previous command could request userinput #58

Closed
wants to merge 1 commit into from

Conversation

teto
Copy link
Member

@teto teto commented Nov 8, 2016

... and generates a timeout. This should prevent it. Yet this only works
when fetching a PR and will fail on "master". Shall we write a specific
script for that ?

The old circleCI was not checking the PR, just master. I changed it so that it really tests the PRs with the code:
git pull origin $CIRCLE_BRANCH/head in circle.yml but now it doesn't work to test master as git pull origin master/head does not work. Any idea to have a holistic solution ?
I think this behavior is generating the timeout in #56

... and generates a timeout. This should prevent it. Yet this only works
when fetching a PR and will fail on "master". Shall we write a specific
script for that ?
@teto teto closed this Nov 9, 2016
@teto teto deleted the circleci_fix branch November 9, 2016 14:11
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