build(ci): sync with repo before git commit

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>

diff --git a/.github/workflows/external-benchmark.yml b/.github/workflows/external-benchmark.yml
index d6f8dd8a3f14575c25ce4ff50ed152cff02a4869..1ef9cec56fdc853094c0bef628fb4dd9be71ed9a 100644 (file)
--- 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 }}'

diff --git a/.github/workflows/generate-documentation.yml b/.github/workflows/generate-documentation.yml
index f3d4ae4e428b116ce26bbb184f1263ed3b41eb59..0555ad8b779ebf04391c8779a55d80080922fb77 100644 (file)
--- a/.github/workflows/generate-documentation.yml
+++ b/.github/workflows/generate-documentation.yml
@@ -36,6 +36,7 @@ jobs:
         run: |
           git config --local user.name "${{ env.COMMIT_AUTHOR }}"
           git config --local user.email "${{ env.COMMIT_EMAIL }}"
+          git pull
           git add ./docs
           git commit -a -m "${{ env.COMMIT_MESSAGE }}"