From f0067563b02cfd577efdd7edf3974bbb67568373 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=B4me=20Benoit?= Date: Mon, 18 Sep 2023 14:49:54 +0200 Subject: [PATCH] build(ci): sync with repo before git commit MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Jérôme Benoit --- .github/workflows/external-benchmark.yml | 2 ++ .github/workflows/generate-documentation.yml | 1 + 2 files changed, 3 insertions(+) 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 }}" -- 2.34.1