some fixes

Author: dmitrivasilyev

.github/workflows/bench.yml

@@ -87,8 +87,12 @@ jobs:
         run: |
           git config --local user.email "github-actions[bot]@users.noreply.github.com"
           git config --local user.name "github-actions[bot]"
+          # Save benchmarks.md before reset
+          cp documentation/docs/benchmarks.md /tmp/benchmarks.md.tmp
           git fetch origin ${{ github.ref_name }}
           git reset --hard origin/${{ github.ref_name }}
+          # Restore benchmarks.md after reset
+          cp /tmp/benchmarks.md.tmp documentation/docs/benchmarks.md
           git add documentation/docs/benchmarks.md
           git diff --staged --quiet || git commit -m "Update benchmark results [skip ci]"
           git push --force-with-lease