Update doc CI (#64)

2026-06-27 16:14:07 +08:00 · 2023-12-05 12:31:30 +01:00
parent 3f368a0748
commit 1c06e4e5e1
1 changed files with 0 additions and 12 deletions
@@ -1,12 +0,0 @@
 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 }}