From 616c9beced1d77904b09d2cc7a03aa2435785bac Mon Sep 17 00:00:00 2001 From: robert Date: Wed, 3 Jun 2026 10:27:31 -0700 Subject: [PATCH] Limit blueprint workflow to docs changes --- .github/workflows/blueprint.yml | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml index a6cd2b2..c449e46 100644 --- a/.github/workflows/blueprint.yml +++ b/.github/workflows/blueprint.yml @@ -3,8 +3,28 @@ name: Compile blueprint on: push: branches: ["main"] + paths: + - ".github/workflows/blueprint.yml" + - "blueprint/**" + - "home_page/**" + - "scripts/docs/**" + - "scripts/checks/dependency_audit.py" + - "lakefile.lean" + - "lake-manifest.json" + - "lean-toolchain" + - "README.md" pull_request: branches: ["main"] + paths: + - ".github/workflows/blueprint.yml" + - "blueprint/**" + - "home_page/**" + - "scripts/docs/**" + - "scripts/checks/dependency_audit.py" + - "lakefile.lean" + - "lake-manifest.json" + - "lean-toolchain" + - "README.md" workflow_dispatch: concurrency: