help wanted
Métricas do repositório
- Stars
- (6.310 estrelas)
- Métricas de merge de PR
- (Mesclagem média 7d 19h) (17 fundiu PRs em 30d)
Description
I wonder if there's some way we can collect and monitor benchmark performance, like https://github.com/marketplace/actions/continuous-benchmark or https://werat.dev/blog/running-benchmarks-for-pull-requests-via-github-actions/?
Originally posted by @isaacbrodsky in https://github.com/uber/h3/pull/524#pullrequestreview-776504456