Remove delete doc CI (#6471)

remove-delete-doc-ci
huggingface · Dec 5, 2023 · b52cbc1 · b52cbc1
1 parent ae3b4a2
commit b52cbc1
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 26 deletions.
diff --git a/.github/workflows/delete_doc_comment.yml b/.github/workflows/delete_doc_comment.yml
diff --git a/.github/workflows/delete_doc_comment_trigger.yml b/.github/workflows/delete_doc_comment_trigger.yml