mirror of
https://github.com/mii443/tokenizers.git
synced 2025-08-22 16:25:30 +00:00
12 lines
235 B
YAML
12 lines
235 B
YAML
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 }} |