Open drnick23 opened 4 months ago
When moving plots to another disk and it keeps reporting errors for moved plots.
This is possibly a caching problem and could lead to duplicate or bad proofs being solved.
Current workaround is to restart your harvester:
drchia start harvester -r
You can use a script that changes the .drplot extension when moving.
When moving plots to another disk and it keeps reporting errors for moved plots.
This is possibly a caching problem and could lead to duplicate or bad proofs being solved.
Current workaround is to restart your harvester:
drchia start harvester -r