Benchmark step in .github/workflows/pr-check looks like nop

[luchsh]

For now it just runs benchmarking and does not check results, which looks like nop effectively.

For each Pull Request, need a mechanism to determine the benchmarking result is positive or negative?

[PureWhiteWu]

是的，最好是能和 base 进行比较，这个需要看看有没有啥好的插件之类的。