2023-05-14 02:57:26 +08:00
|
|
|
name: Delete dev documentation
|
|
|
|
|
|
|
|
on:
|
|
|
|
pull_request:
|
|
|
|
types: [closed]
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
delete:
|
2023-05-14 03:18:28 +08:00
|
|
|
uses: huggingface/doc-builder/.github/workflows/delete_doc_comment.yml@xenova-test
|
2023-05-14 02:57:26 +08:00
|
|
|
with:
|
|
|
|
pr_number: ${{ github.event.number }}
|
|
|
|
package: transformers.js
|