From 5fd02ffc968b2c6131b9c9e2d2bd9f997967593e Mon Sep 17 00:00:00 2001 From: embeddedt <42941056+embeddedt@users.noreply.github.com> Date: Wed, 12 Jul 2023 19:35:23 -0400 Subject: [PATCH] Very bad hack for wiki race condition GitHub's "concurrency" system just cancels pending jobs instead of scheduling them --- .github/workflows/wiki_update.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/wiki_update.yml b/.github/workflows/wiki_update.yml index eb84a007..9644aaeb 100644 --- a/.github/workflows/wiki_update.yml +++ b/.github/workflows/wiki_update.yml @@ -9,9 +9,6 @@ jobs: wikigen: if: github.repository_owner == 'embeddedt' runs-on: ubuntu-latest - concurrency: - group: wiki-generation - cancel-in-progress: false steps: - name: Checkout Repository uses: actions/checkout@v3 @@ -19,6 +16,9 @@ jobs: fetch-depth: 0 - name: Generate Markdown Patch-List run: python3 scripts/gen-markdown-patchlist.py + - name: Very legitimate hack for wiki push race condition + run: sleep $((1 + (RANDOM % 3)) + shell: bash - name: Upload generated file to wiki uses: SwiftDocOrg/github-wiki-publish-action@v1 with: