Open ericphanson opened 2 years ago
Currently, the docs are the 2nd step and they won't happen if the first step fails, e.g. due to timeout. Then we have to remove the offending solver and re-run everything. Annoying! Ref #14
Currently, the docs are the 2nd step and they won't happen if the first step fails, e.g. due to timeout. Then we have to remove the offending solver and re-run everything. Annoying! Ref #14