From d14ae9d2c15ff11c35192af15811024698f3bed4 Mon Sep 17 00:00:00 2001 From: embeddedt <42941056+embeddedt@users.noreply.github.com> Date: Wed, 12 Jul 2023 19:36:52 -0400 Subject: [PATCH] Fix formatting issue --- .github/workflows/wiki_update.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/wiki_update.yml b/.github/workflows/wiki_update.yml index 9644aaeb..a07586f5 100644 --- a/.github/workflows/wiki_update.yml +++ b/.github/workflows/wiki_update.yml @@ -17,7 +17,7 @@ jobs: - 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)) + run: sleep $((1 + (RANDOM % 30))) shell: bash - name: Upload generated file to wiki uses: SwiftDocOrg/github-wiki-publish-action@v1