CI triggers

Author: aplr

.github/workflows/build_lean.yml

@@ -6,9 +6,11 @@ on:
       - main
     paths:
       - "lean/**"
+      - ".github/workflows/build_lean.yml"
   pull_request:
     paths:
       - "lean/**"
+      - ".github/workflows/build_lean.yml"
   workflow_dispatch:
     inputs:
       no-cache:

.github/workflows/build_python.yml

@@ -6,9 +6,11 @@ on:
       - main
     paths:
       - "python/**"
+      - ".github/workflows/build_python.yml"
   pull_request:
     paths:
       - "python/**"
+      - ".github/workflows/build_python.yml"
   workflow_dispatch:
     inputs:
       no-cache:

.github/workflows/build_scratch.yml

@@ -6,9 +6,11 @@ on:
       - main
     paths:
       - "scratch/**"
+      - ".github/workflows/build_scratch.yml"
   pull_request:
     paths:
       - "scratch/**"
+      - ".github/workflows/build_scratch.yml"
   workflow_dispatch:
     inputs:
       no-cache:

.github/workflows/build_wolfram.yml

@@ -6,9 +6,11 @@ on:
       - main
     paths:
       - "wolfram/**"
+      - ".github/workflows/build_wolfram.yml"
   pull_request:
     paths:
       - "wolfram/**"
+      - ".github/workflows/build_wolfram.yml"
   workflow_dispatch:
     inputs:
       no-cache: