You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
0 commit comments