Skip to content

Commit c601145

Browse files
committed
👷 Only run delete dev documentation when necessary
1 parent 59e0df2 commit c601145

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

‎.github/workflows/delete-doc-comment.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@ name: Delete dev documentation
22

33
on:
44
pull_request:
5+
paths:
6+
- "docs/**"
57
types: [closed]
68

79
jobs:

0 commit comments

Comments
 (0)