Closed countvajhula closed 8 months ago
This PR has a lot of noisy commits for testing, so squash-merging this one. Changes were OK'd in today's meeting.
🤦 I meant to squash merge... but I didn't 😠😠ðŸ˜
Woops! When I saw the force-push, I was hoping you'd rebased and drop
ped the noise commits :)
Summary of Changes
We could use this to gather the new benchmark data using GitHub's CI infrastructure.
Things we would need to do:
It should then publish the new benchmarks on GitHub Pages at
<root URL>/qi/competitive-benchmarks
Another possibility is we could have the
make new-benchmarks
target only generate text output data to STDOUT. Then we could manually copy it in the job UI, and feed it into the charts manually.Public Domain Dedication