Move bench directory to benchmark (#5529)

## Summary

Removes the legacy `benchmark` directory (we'll always have it in Git)
and renames `bench` to `benchmark` for clarity. Fixes a variety of
commands and references.
This commit is contained in:
Charlie Marsh 2024-07-28 18:03:52 -04:00 committed by GitHub
parent d7c79182ea
commit 44a77a04d0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
15 changed files with 60 additions and 267 deletions

View file

@ -0,0 +1 @@
3.12.3