You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered: