Highlighting of node in proof tree, interactive mode now working a bit better
| Name | Stage | Failure | ||
|---|---|---|---|---|
|
failed
|
setup | Setup | There has been a timeout failure or the job got stuck. Check your timeout limits or try again | |
|
||||
| Name | Stage | Failure | ||
|---|---|---|---|---|
|
failed
|
setup | Setup | There has been a timeout failure or the job got stuck. Check your timeout limits or try again | |
|
||||