Prevent race condition when updating wikis

This commit is contained in:
embeddedt 2023-07-11 22:14:54 -04:00
parent 423a550303
commit b31381ed4d
No known key found for this signature in database
GPG Key ID: A69433EC199B5613

View File

@ -8,6 +8,7 @@ on:
jobs:
wikigen:
runs-on: ubuntu-latest
concurrency: wiki-generation
steps:
- uses: actions/checkout@v2
with: