Closed cjyar closed 4 years ago
This sort of resurrects #117. Posting comments to the PR is disabled, but it still builds and runs the benchmarks; and it cats the output into the build log.
This sort of resurrects #117. Posting comments to the PR is disabled, but it still builds and runs the benchmarks; and it cats the output into the build log.