diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml index a6cd2b24..c449e46d 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: