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

Fix CircleCI configuration #777

Merged
merged 2 commits into from
Oct 16, 2018

Conversation

johanbrandhorst
Copy link
Collaborator

The original configuration had never actually been run on CircleCI's
servers.

The original configuration had never actually been run on CircleCI's
servers.
@achew22
Copy link
Collaborator

achew22 commented Oct 12, 2018

I'm still getting those opaque CircleCI errors. I am looking into it but have contacted support. Maybe they can help out

@johanbrandhorst
Copy link
Collaborator Author

I got a 403 when trying to follow the repo so I assume it's just a matter of permissions

@achew22
Copy link
Collaborator

achew22 commented Oct 16, 2018

Since @johanbrandhorst has circle set up on his repo I think it is doing some especially clever deduplication of work (the git hashes are identical) and therefore it won't rerun. This is preventing the CI bot from posting the success status.

@achew22 achew22 merged commit 61203f4 into grpc-ecosystem:master Oct 16, 2018
adasari pushed a commit to adasari/grpc-gateway that referenced this pull request Apr 9, 2020
* Fix CircleCI configuration

The original configuration had never actually been run on CircleCI's
servers.

* Replace mentions of Travis with CircleCI
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants