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

Report agent crashes to the server #392

Merged
merged 10 commits into from Jan 24, 2019

Conversation

Projects
None yet
3 participants
@Zeegomo
Copy link
Contributor

Zeegomo commented Jan 23, 2019

fixed #246
Any error encountered by the agent will be reported to the server that will post it to the relevant GitHub thread. Add new failed experiment status and command retry to queue again jobs marked as failed

@pietroalbini
Copy link
Member

pietroalbini left a comment

Great PR, thanks! Left a minor style comment. Can you also add some docs about the new endpoint to docs/agent-http-api.md?

Show resolved Hide resolved src/agent/mod.rs Outdated
Show resolved Hide resolved docs/agent-http-api.md Outdated
Show resolved Hide resolved docs/agent-http-api.md Outdated

Zeegomo added some commits Jan 24, 2019

@pietroalbini

This comment has been minimized.

Copy link
Member

pietroalbini commented Jan 24, 2019

Thanks! This looks great!

@bors r+

@bors

This comment has been minimized.

Copy link
Collaborator

bors commented Jan 24, 2019

📌 Commit d891acb has been approved by pietroalbini

@bors

This comment has been minimized.

Copy link
Collaborator

bors commented Jan 24, 2019

⌛️ Testing commit d891acb with merge e35ed43...

bors added a commit that referenced this pull request Jan 24, 2019

Auto merge of #392 - Zeegomo:master, r=pietroalbini
Report agent crashes to the server

fixed #246
Any error encountered by the agent will be reported to the server that will post it to the relevant GitHub thread. Add new `failed` experiment status and command `retry` to queue again jobs marked as failed
@bors

This comment has been minimized.

Copy link
Collaborator

bors commented Jan 24, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: pietroalbini
Pushing e35ed43 to master...

@bors bors merged commit d891acb into rust-lang-nursery:master Jan 24, 2019

1 check passed

homu Test successful
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.