diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/docgen.yml | 9 | ||||
| -rw-r--r-- | .github/workflows/gen-annotations.yml | 9 |
2 files changed, 16 insertions, 2 deletions
diff --git a/.github/workflows/docgen.yml b/.github/workflows/docgen.yml index 3a860283..789ce2c5 100644 --- a/.github/workflows/docgen.yml +++ b/.github/workflows/docgen.yml @@ -30,4 +30,11 @@ jobs: git config user.email "github-actions[bot]@users.noreply.github.com" git add doc/configs.md doc/configs.txt # Only commit and push if we have changes - git diff --quiet && git diff --staged --quiet || (git commit -m "${COMMIT_MSG}"; git push) + git diff --quiet && git diff --staged --quiet || ( + git commit -m "${COMMIT_MSG}" + for i in 1 2 3; do + git pull --rebase && git push && break + echo "Push failed (attempt $i), retrying..." + sleep 5 + done + ) diff --git a/.github/workflows/gen-annotations.yml b/.github/workflows/gen-annotations.yml index 13c5fdfc..1da7298c 100644 --- a/.github/workflows/gen-annotations.yml +++ b/.github/workflows/gen-annotations.yml @@ -37,4 +37,11 @@ jobs: git config user.email "github-actions[bot]@users.noreply.github.com" git add README.md git add -A lua/lspconfig/types - git diff --quiet && git diff --staged --quiet || (git commit -m "${COMMIT_MSG}"; git push) + git diff --quiet && git diff --staged --quiet || ( + git commit -m "${COMMIT_MSG}" + for i in 1 2 3; do + git pull --rebase && git push && break + echo "Push failed (attempt $i), retrying..." + sleep 5 + done + ) |