In my PR #71, a bot reported a benchmark score increase of 30 points:
#71 (comment)
There was nothing in my PR that would increase the performance of anything in any way.
I suspect that this particular benchmark or environment is calculating the score based on the wall time instead of the CPU time.
In my PR #71, a bot reported a benchmark score increase of 30 points:
#71 (comment)
There was nothing in my PR that would increase the performance of anything in any way.
I suspect that this particular benchmark or environment is calculating the score based on the wall time instead of the CPU time.