help wanted
Métriques du dépôt
- Stars
- (6 310 étoiles)
- Métriques de merge PR
- (Merge moyen 7j 19h) (17 PRs mergées en 30 j)
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