Figure out how to inline the benchmark HTML report into the PR #123
Description
Maybe we post a summary? Or maybe we upload the HTML to S3 or something?
See https://github.blog/2022-05-09-supercharging-github-actions-with-job-summaries/
{{ message }}