The new benchmarking suite already generates a nice Scribble report. We just need to run it in Github CI and then push the HTML output to the GitHub Pages site. This requires:
A minimal CLI to be able to configure the profile to use
An info.rkt file to allow raco to manage dependencies and simplify installation in CI workflows
This is just a starting point to give us a simple feedback loop, and the integration may change a lot in the long term.
The new benchmarking suite already generates a nice Scribble report. We just need to run it in Github CI and then push the HTML output to the GitHub Pages site. This requires:
info.rkt
file to allow raco to manage dependencies and simplify installation in CI workflowsThis is just a starting point to give us a simple feedback loop, and the integration may change a lot in the long term.
See #150 for some WIP.