Skip to content

Commit a19506e

Browse files
authored
Limit blueprint workflow to docs changes
Add path filters so the expensive blueprint/docs/site workflow only runs when docs-facing inputs change.
1 parent bbbcf2a commit a19506e

1 file changed

Lines changed: 20 additions & 0 deletions

File tree

‎.github/workflows/blueprint.yml‎

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,28 @@ name: Compile blueprint
33
on:
44
push:
55
branches: ["main"]
6+
paths:
7+
- ".github/workflows/blueprint.yml"
8+
- "blueprint/**"
9+
- "home_page/**"
10+
- "scripts/docs/**"
11+
- "scripts/checks/dependency_audit.py"
12+
- "lakefile.lean"
13+
- "lake-manifest.json"
14+
- "lean-toolchain"
15+
- "README.md"
616
pull_request:
717
branches: ["main"]
18+
paths:
19+
- ".github/workflows/blueprint.yml"
20+
- "blueprint/**"
21+
- "home_page/**"
22+
- "scripts/docs/**"
23+
- "scripts/checks/dependency_audit.py"
24+
- "lakefile.lean"
25+
- "lake-manifest.json"
26+
- "lean-toolchain"
27+
- "README.md"
828
workflow_dispatch:
929

1030
concurrency:

0 commit comments

Comments
 (0)