X-Git-Url: https://git.piment-noir.org/?a=blobdiff_plain;f=.github%2Fworkflows%2Fexternal-benchmark.yml;h=1ef9cec56fdc853094c0bef628fb4dd9be71ed9a;hb=f0067563b02cfd577efdd7edf3974bbb67568373;hp=d6f8dd8a3f14575c25ce4ff50ed152cff02a4869;hpb=660689f017615c233020793967822c31975e5aa0;p=poolifier.git diff --git a/.github/workflows/external-benchmark.yml b/.github/workflows/external-benchmark.yml index d6f8dd8a..1ef9cec5 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 }}'