ci: merge doc label actor and checker tasks (#3252)

GreptimeTeam · Jan 29, 2024 · d43c638 · d43c638
1 parent 91c8c62
commit d43c638
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 19 deletions.
diff --git a/.github/workflows/doc-label.yml b/.github/workflows/doc-label.yml
@@ -29,3 +29,8 @@ jobs:
         body: |
           A document change request is generated from
           ${{ github.event.issue.html_url || github.event.pull_request.html_url }}
+    - name: Check doc labels
+      uses: docker://agilepathway/pull-request-label-checker:latest
+      with:
+        one_of: Doc update required,Doc not needed
+        repo_token: ${{ secrets.GITHUB_TOKEN }}
diff --git a/.github/workflows/user-doc-label-checker.yml b/.github/workflows/user-doc-label-checker.yml