diff --git a/.github/workflows/lean-asymmetric-information.yml b/.github/workflows/lean-asymmetric-information.yml
index ce014b8058..3a4da7ae0c 100644
--- a/.github/workflows/lean-asymmetric-information.yml
+++ b/.github/workflows/lean-asymmetric-information.yml
@@ -45,7 +45,6 @@ on:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/agent_tests/prover/lean_utils.py'
   pull_request:
     types: [opened, synchronize, edited, reopened]
-    branches: [main]
     paths:
       - 'MyIA.AI.Notebooks/GameTheory/asymmetric_information_lean/**.lean'
       - 'MyIA.AI.Notebooks/GameTheory/asymmetric_information_lean/lakefile.toml'
diff --git a/.github/workflows/lean-conway.yml b/.github/workflows/lean-conway.yml
index 66d5066e21..ca7b457026 100644
--- a/.github/workflows/lean-conway.yml
+++ b/.github/workflows/lean-conway.yml
@@ -73,7 +73,6 @@ on:
       - '.github/workflows/lean-axiom.yml'
       - 'scripts/lean/check_target_coverage.py'
   pull_request:
-    branches: [main]
     types: [opened, synchronize, edited, reopened]
     paths:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/conway_lean/**.lean'
diff --git a/.github/workflows/lean-formal-groups.yml b/.github/workflows/lean-formal-groups.yml
index 22f63d0630..f6728c617c 100644
--- a/.github/workflows/lean-formal-groups.yml
+++ b/.github/workflows/lean-formal-groups.yml
@@ -30,7 +30,6 @@ on:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/agent_tests/lean_server.py'
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/agent_tests/prover/lean_utils.py'
   pull_request:
-    branches: [main]
     types: [opened, synchronize, edited, reopened]
     paths:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/formal_groups_lean/**.lean'
diff --git a/.github/workflows/lean-galois.yml b/.github/workflows/lean-galois.yml
index c33e38478e..e22595981d 100644
--- a/.github/workflows/lean-galois.yml
+++ b/.github/workflows/lean-galois.yml
@@ -31,7 +31,6 @@ on:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/agent_tests/lean_server.py'
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/agent_tests/prover/lean_utils.py'
   pull_request:
-    branches: [main]
     types: [opened, synchronize, edited, reopened]
     paths:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/galois_lean/**.lean'
diff --git a/.github/workflows/lean-grothendieck.yml b/.github/workflows/lean-grothendieck.yml
index 586bebc7de..50c9952668 100644
--- a/.github/workflows/lean-grothendieck.yml
+++ b/.github/workflows/lean-grothendieck.yml
@@ -44,7 +44,6 @@ on:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/agent_tests/lean_server.py'
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/agent_tests/prover/lean_utils.py'
   pull_request:
-    branches: [main]
     types: [opened, synchronize, edited, reopened]
     paths:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/grothendieck_lean/**.lean'
diff --git a/.github/workflows/lean-hecke.yml b/.github/workflows/lean-hecke.yml
index 198cc5cd62..e46ca08d60 100644
--- a/.github/workflows/lean-hecke.yml
+++ b/.github/workflows/lean-hecke.yml
@@ -25,7 +25,6 @@ on:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/agent_tests/lean_server.py'
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/agent_tests/prover/lean_utils.py'
   pull_request:
-    branches: [main]
     types: [opened, synchronize, edited, reopened]
     paths:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/hecke_lean/**.lean'
diff --git a/.github/workflows/lean-knot.yml b/.github/workflows/lean-knot.yml
index 2d299f05a7..a959fe6950 100644
--- a/.github/workflows/lean-knot.yml
+++ b/.github/workflows/lean-knot.yml
@@ -99,7 +99,6 @@ on:
       # must run it.
       - 'scripts/lean/check_target_coverage.py'
   pull_request:
-    branches: [main]
     types: [opened, synchronize, edited, reopened]
     paths:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/knot_lean/**.lean'
diff --git a/.github/workflows/lean-mimo.yml b/.github/workflows/lean-mimo.yml
index 63a39b089a..60b8859653 100644
--- a/.github/workflows/lean-mimo.yml
+++ b/.github/workflows/lean-mimo.yml
@@ -36,7 +36,6 @@ on:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/mimo_lean/lakefile.toml'
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/mimo_lean/lean-toolchain'
   pull_request:
-    branches: [main]
     types: [opened, synchronize, edited, reopened]
     paths:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/mimo_lean/**.lean'
diff --git a/.github/workflows/lean-percolation.yml b/.github/workflows/lean-percolation.yml
index af13393b09..1abb87691d 100644
--- a/.github/workflows/lean-percolation.yml
+++ b/.github/workflows/lean-percolation.yml
@@ -24,7 +24,6 @@ on:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/agent_tests/prover/lean_utils.py'
   pull_request:
     types: [opened, synchronize, edited, reopened]
-    branches: [main]
     paths:
       - 'MyIA.AI.Notebooks/Probas/Applications/Percolation/percolation_lean/**.lean'
       - 'MyIA.AI.Notebooks/Probas/Applications/Percolation/percolation_lean/lakefile.lean'
diff --git a/.github/workflows/lean-planning.yml b/.github/workflows/lean-planning.yml
index 635917e0ca..04a136aa8b 100644
--- a/.github/workflows/lean-planning.yml
+++ b/.github/workflows/lean-planning.yml
@@ -33,7 +33,6 @@ on:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/agent_tests/lean_server.py'
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/agent_tests/prover/lean_utils.py'
   pull_request:
-    branches: [main]
     types: [opened, synchronize, edited, reopened]
     paths:
       - 'MyIA.AI.Notebooks/SymbolicAI/Planners/planning_lean/**.lean'
diff --git a/.github/workflows/lean-sensitivity.yml b/.github/workflows/lean-sensitivity.yml
index 09d702f20c..122534fdac 100644
--- a/.github/workflows/lean-sensitivity.yml
+++ b/.github/workflows/lean-sensitivity.yml
@@ -21,7 +21,6 @@ on:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/agent_tests/lean_server.py'
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/agent_tests/prover/lean_utils.py'
   pull_request:
-    branches: [main]
     types: [opened, synchronize, edited, reopened]
     paths:
       - 'MyIA.AI.Notebooks/SymbolicAI/Lean/sensitivity_lean/**.lean'
diff --git a/.github/workflows/lean-social-choice.yml b/.github/workflows/lean-social-choice.yml
index 7ba7f4d4ac..b1d39600fa 100644
--- a/.github/workflows/lean-social-choice.yml
+++ b/.github/workflows/lean-social-choice.yml
@@ -28,7 +28,6 @@ on:
       - 'scripts/lean/count_code_sorry.py'
       - 'scripts/tests/test_check_certified_sorry.py'
   pull_request:
-    branches: [ main ]
     paths:
       - 'MyIA.AI.Notebooks/GameTheory/game_theory_lean/SocialChoice/**.lean'
       - 'MyIA.AI.Notebooks/GameTheory/game_theory_lean/SocialChoice/CERTIFIED.txt'