Open
Description
This would be of great help in debugging and handling emergency case: for example, a failed / struck task can be fixed fast by a upgraded prover in developer's local host.
An option task_id
in get_task
API can achieve this purpose.
The task specified by task_id
should be send to prover, even it has been assigned.
It is planned to be resolved in the "universal message" refactoring of coordinator
Metadata
Metadata
Assignees
Labels
No labels