Remove delete_doc_comment.yaml and delete_doc_comment_trigger.yaml fr…

…om CI (#1887)
huggingface · Dec 5, 2023 · a117a4a · a117a4a
1 parent d45d047
commit a117a4a
Show file tree

Hide file tree

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