chore(docs) specify concurrency to avoid potential race condition

2026-05-10 04:37:55 +08:00 · 2021-05-07 15:46:31 -04:00
parent 86af86613b
commit 2c886537e9
1 changed files with 1 additions and 0 deletions
@@ -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 }}