On push to the results branch, we should trigger a workflow that renders the profiling results and prepares them for display.
In particular, when new results come in we should:
[ ] Render the .pyisession file to HTML and make it ready for display
[ ] Process any interesting statistics and add them to any charts/ ongoing data files that we have
The github-actions-benchmark action can be used to process our own statistics. The newly rendered HTML files will have to be deployed to the pages branch and linked to from an (auto-updating) index page.
On push to the
results
branch, we should trigger a workflow that renders the profiling results and prepares them for display.In particular, when new results come in we should:
.pyisession
file toHTML
and make it ready for displayThe
github-actions-benchmark
action can be used to process our own statistics. The newly rendered HTML files will have to be deployed to the pages branch and linked to from an (auto-updating)index
page.