Merge 1.18 into 1.19.2

embeddedt · embeddedt · commit 061806eb8fc1 · 2023-07-11T22:15:09.000-04:00
diff --git a/.github/workflows/wiki_update.yml b/.github/workflows/wiki_update.yml
@@ -8,6 +8,7 @@ on:
 jobs:
   wikigen:
     runs-on: ubuntu-latest
+    concurrency: wiki-generation
     steps:
       - uses: actions/checkout@v2
         with:
