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
{{ message }}
Repository navigation
prover agent should pick up next job automatically after reporting job result #11659
Currently the prover-agent sleep after every proof is finished before asking for the next job from the broker. Instead submitting the proof should return the next job to work on (if any)
Activity