ci: fix duplicatd doc issue (#3056)

2026-08-12 09:19:44 +00:00 · 2023-12-30 13:36:14 +08:00
parent 41e51d4ab3
commit 1c94d4c506
1 changed files with 1 additions and 1 deletions
@@ -20,7 +20,7 @@ jobs:
        sync-labels: 1
    - name: create an issue in doc repo
      uses: dacbd/create-issue-action@main
-      if: ${{ contains(github.event.pull_request.body, '- [ ]  This PR does not require documentation updates.') }}
+      if: ${{ github.event.action == 'opened' && contains(github.event.pull_request.body, '- [ ]  This PR does not require documentation updates.') }}
      with:
        owner: GreptimeTeam
        repo: docs