Skip to content

Commit 10bd3e1

Browse files
committed
Merge 1.16 into 1.18
2 parents 9cedaf1 + d14ae9d commit 10bd3e1

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/wiki_update.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ jobs:
1717
- name: Generate Markdown Patch-List
1818
run: python3 scripts/gen-markdown-patchlist.py
1919
- name: Very legitimate hack for wiki push race condition
20-
run: sleep $((1 + (RANDOM % 3))
20+
run: sleep $((1 + (RANDOM % 30)))
2121
shell: bash
2222
- name: Upload generated file to wiki
2323
uses: SwiftDocOrg/github-wiki-publish-action@v1

0 commit comments

Comments
 (0)