chore(docs) specify concurrency to avoid potential race condition
@@ -62,6 +62,7 @@ jobs:
id: version
- name: Deploy
uses: JamesIves/github-pages-deploy-action@3.7.1
+ concurrency: docs-push
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
ACCESS_TOKEN: ${{ secrets.LVGL_BOT_TOKEN }}
