Rename GitHub CI var

Author: philipp-spiess

.github/workflows/ci.yml

@@ -25,13 +25,13 @@ jobs:
             os: macos-14
 
         # Exclude windows and macos from being built on feature branches
-        on-main-branch:
+        run-all:
           - ${{ github.ref == 'refs/heads/main' || contains(github.event.pull_request.body, '[ci-all]') }}
         exclude:
-          - on-main-branch: false
+          - run-all: false
             runner:
               name: Windows
-          - on-main-branch: false
+          - run-all: false
             runner:
               name: macOS
 

.github/workflows/integration-tests.yml

@@ -33,13 +33,13 @@ jobs:
           - workers
 
         # Exclude windows and macos from being built on feature branches
-        on-main-branch:
+        run-all:
           - ${{ github.ref == 'refs/heads/main' || contains(github.event.pull_request.body, '[ci-all]') }}
         exclude:
-          - on-main-branch: false
+          - run-all: false
             runner:
               name: Windows
-          - on-main-branch: false
+          - run-all: false
             runner:
               name: macOS