Remove delete_doc_comment workflow (#489)

huggingface · Dec 12, 2023 · 819e3e8 · 819e3e8
1 parent 5dac93d
commit 819e3e8
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 30 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