From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Mon, 18 Sep 2023 12:49:54 +0000 (+0200)
Subject: build(ci): sync with repo before git commit
X-Git-Tag: v2.7.0~9
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=f0067563b02cfd577efdd7edf3974bbb67568373;p=poolifier.git

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 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 }}'
diff --git a/.github/workflows/generate-documentation.yml b/.github/workflows/generate-documentation.yml
index f3d4ae4e..0555ad8b 100644
--- 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 }}"