ci: add user-doc label checker

GreptimeTeam · Dec 20, 2023 · 168788f · 168788f
1 parent d2f49cb
commit 168788f
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/.github/workflows/user-doc-label-checker.yml b/.github/workflows/user-doc-label-checker.yml
@@ -0,0 +1,19 @@
+name: Check user doc labels
+on:
+  pull_request:
+    types:
+      - opened
+      - reopened
+      - labeled
+      - unlabeled
+
+jobs:
+
+  check_labels:
+    name: Check doc labels
+    runs-on: ubuntu-latest
+    steps:
+      - uses: docker://agilepathway/pull-request-label-checker:latest
+        with:
+          one_of: Doc update required,Doc not needed
+          repo_token: ${{ secrets.GITHUB_TOKEN }}