help wanted
Repository metrics
- Stars
- (6,310 stars)
- PR merge metrics
- (Avg merge 7d 19h) (17 merged PRs in 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