init

2026-08-12 11:50:32 +08:00 · 2023-08-29 12:44:34 -07:00
parent 8903d4aff8
commit e329a432ae
6 changed files with 70 additions and 1 deletions
@@ -0,0 +1,12 @@
+name: Delete doc comment trigger
+
+on:
+  pull_request:
+    types: [ closed ]
+
+
+jobs:
+  delete:
+    uses: huggingface/doc-builder/.github/workflows/delete_doc_comment_trigger.yml@main
+    with:
+      pr_number: ${{ github.event.number }}