Merge 1.16 into 1.18

embeddedt · embeddedt · commit 8067cb6e656d · 2023-07-11T22:15:08.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:
