cli: enable profiling for local worker

relab / hotstuff

MIT License

172 stars 53 forks source link

cli: enable profiling for local worker #59

Closed johningve closed 2 years ago

johningve commented 2 years ago

This enables profilers locally when a local worker is used, and when profiling is requested. Local output is stored under "local" in the output directory.