X-Git-Url: https://git.piment-noir.org/?a=blobdiff_plain;f=.github%2Fworkflows%2Fexternal-benchmark.yml;h=191be3277b876f12211a763a1293c7970cd359d5;hb=3aa16da67d1de7ed79de0fa4eedccc9cc7f58a52;hp=d6f8dd8a3f14575c25ce4ff50ed152cff02a4869;hpb=660689f017615c233020793967822c31975e5aa0;p=poolifier.git diff --git a/.github/workflows/external-benchmark.yml b/.github/workflows/external-benchmark.yml index d6f8dd8a..191be327 100644 --- a/.github/workflows/external-benchmark.yml +++ b/.github/workflows/external-benchmark.yml @@ -38,6 +38,8 @@ jobs: run: | git config --local user.name "${{ env.COMMIT_AUTHOR }}" git config --local user.email "${{ env.COMMIT_EMAIL }}" + git pull + git add ./BENCH-100000.md ./BENCH-100000.json git commit -a -m "${{ env.COMMIT_MESSAGE }}" - name: Push changes if: github.ref == 'refs/heads/${{ github.event.repository.default_branch }}'