add small bench

Author: dmitrivasilyev

.github/workflows/bench.yml

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