Skip to content

Commit b57dd8d

Browse files
committed
ci(docs): trigger docs rebuild on src/ and scripts/ changes
- src/** changes may affect design docs (symlinked) and verification.rst - scripts/** changes affect verification generation
1 parent fc6e249 commit b57dd8d

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

.github/workflows/docs.yml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,11 +5,15 @@ on:
55
branches: [main]
66
paths:
77
- "docs/**"
8+
- "src/**"
9+
- "scripts/**"
810
- ".github/workflows/docs.yml"
911
pull_request:
1012
branches: [main]
1113
paths:
1214
- "docs/**"
15+
- "src/**"
16+
- "scripts/**"
1317
- ".github/workflows/docs.yml"
1418
workflow_dispatch:
1519

0 commit comments

Comments
 (0)