Fix formatting issue

This commit is contained in:
embeddedt 2023-07-12 19:36:52 -04:00
parent 5fd02ffc96
commit d14ae9d2c1
No known key found for this signature in database
GPG Key ID: A69433EC199B5613

View File

@ -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