Use [job summaries](https://github.blog/2022-05-09-supercharging-github-actions-with-job-summaries/) to make some simple metrics?