Closed mmagician closed 2 months ago
Currently, the raw logs aren't saved anywhere (AFAICS), despite the comment:
This process will take a while to finish, and it will start outputing a lot of logs from the prover (that later we will save as logs).
logs
Am I missing something? If not, it would be good to pipe them to a separate file for later inspection.
Yeah, we probably forgot to add the tee command in the instruction
tee
Currently, the raw logs aren't saved anywhere (AFAICS), despite the comment:
Am I missing something? If not, it would be good to pipe them to a separate file for later inspection.