Closed jhlegarreta closed 6 years ago
This is based on advice given/requirements mentioned in PR #44.
Having a look at the build log, it looks like the build time exceeds circleci's threshold and the build (log) is stopped. Since these are only DOC
changes, it is safe to merge the branch.
@thewtex @dzenanz
Add additional notes for running benchmarks, with special focus on running them on a Windows platform.