This removes the old results that were produced by the old benchmarking infrastructure.
This is just git rm -r benchmark-results.
The Github Actions infrastructure is working and putting its results in results and the infra that was publishing to benchmark-results is now turned off.
(Note that much of the raw data in results is just a copy of what was in benchmark-results, just in a new directory structure with more metadata, so we aren't actually "losing" these old results).
This removes the old results that were produced by the old benchmarking infrastructure.
This is just
git rm -r benchmark-results.The Github Actions infrastructure is working and putting its results in
resultsand the infra that was publishing tobenchmark-resultsis now turned off.(Note that much of the raw data in
resultsis just a copy of what was inbenchmark-results, just in a new directory structure with more metadata, so we aren't actually "losing" these old results).