diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 6beb150f..618851e2 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -27,6 +27,10 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4
 
+        # Removes ·git to prevent opam from checking out submodueles
+      - name: Remove .git
+        run: rm -rf .git
+
       - name: Setup OCaml ${{ matrix.ocaml-compiler }}
         uses: ocaml/setup-ocaml@v3
         with:
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index d270fb51..baaf49d0 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -21,6 +21,10 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4
 
+        # Removes ·git to prevent opam from checking out submodueles
+      - name: Remove .git
+        run: rm -rf .git
+
       - name: Setup OCaml 4.14
         uses: ocaml/setup-ocaml@v3
         with:
diff --git a/.github/workflows/test-alt-ergo.yml b/.github/workflows/test-alt-ergo.yml
index 4632a363..334d32ba 100644
--- a/.github/workflows/test-alt-ergo.yml
+++ b/.github/workflows/test-alt-ergo.yml
@@ -1,15 +1,12 @@
 name: Test Alt-Ergo
 
 on:
-  push:
-    branches:
-      - main
   pull_request:
-    branches:
-      - main
+    types: [ labeled ]
 
 jobs:
   test-alt-ergo:
+    if: contains(github.event.pull_request.labels.*.name, 'alt-ergo')
     runs-on: ubuntu-latest
     env:
       OPAMCONFIRMLEVEL: unsafe-yes
@@ -17,6 +14,10 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4
 
+        # Removes ·git to prevent opam from checking out submodueles
+      - name: Remove .git
+        run: rm -rf .git
+
       - name: Setup OCaml 4.14
         uses: ocaml/setup-ocaml@v3
         with:
diff --git a/.github/workflows/test-bitwuzla.yml b/.github/workflows/test-bitwuzla.yml
index 3efc5e3b..86837e09 100644
--- a/.github/workflows/test-bitwuzla.yml
+++ b/.github/workflows/test-bitwuzla.yml
@@ -1,15 +1,12 @@
 name: Test Bitwuzla
 
 on:
-  push:
-    branches:
-      - main
   pull_request:
-    branches:
-      - main
+    types: [ labeled ]
 
 jobs:
   test-bitwuzla:
+    if: contains(github.event.pull_request.labels.*.name, 'bitwuzla')
     runs-on: ubuntu-latest
     env:
       OPAMCONFIRMLEVEL: unsafe-yes
@@ -17,6 +14,10 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4
 
+        # Removes ·git to prevent opam from checking out submodueles
+      - name: Remove .git
+        run: rm -rf .git
+
       - name: Setup OCaml 4.14
         uses: ocaml/setup-ocaml@v3
         with:
diff --git a/.github/workflows/test-colibri2.yml b/.github/workflows/test-colibri2.yml
index d7c1b05d..8c9a60fc 100644
--- a/.github/workflows/test-colibri2.yml
+++ b/.github/workflows/test-colibri2.yml
@@ -1,15 +1,12 @@
 name: Test Colibri2
 
 on:
-  push:
-    branches:
-      - main
   pull_request:
-    branches:
-      - main
+    types: [ labeled ]
 
 jobs:
   test-colibri2:
+    if: contains(github.event.pull_request.labels.*.name, 'colibri2')
     runs-on: ubuntu-latest
     env:
       OPAMCONFIRMLEVEL: unsafe-yes
@@ -17,6 +14,10 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4
 
+        # Removes ·git to prevent opam from checking out submodueles
+      - name: Remove .git
+        run: rm -rf .git
+
       - name: Setup OCaml 4.14
         uses: ocaml/setup-ocaml@v3
         with:
diff --git a/.github/workflows/test-cvc5.yml b/.github/workflows/test-cvc5.yml
index 29daeb71..f9e151da 100644
--- a/.github/workflows/test-cvc5.yml
+++ b/.github/workflows/test-cvc5.yml
@@ -1,15 +1,12 @@
 name: Test cvc5
 
 on:
-  push:
-    branches:
-      - main
   pull_request:
-    branches:
-      - main
+    types: [ labeled ]
 
 jobs:
   test-cvc5:
+    if: contains(github.event.pull_request.labels.*.name, 'cvc5')
     runs-on: ubuntu-latest
     env:
       OPAMJOBS: 4
@@ -18,6 +15,10 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4
 
+        # Removes ·git to prevent opam from checking out submodueles
+      - name: Remove .git
+        run: rm -rf .git
+
       - name: Setup OCaml 4.14
         uses: ocaml/setup-ocaml@v3
         with:
diff --git a/.github/workflows/test-z3.yml b/.github/workflows/test-z3.yml
index fdab7836..940c1da4 100644
--- a/.github/workflows/test-z3.yml
+++ b/.github/workflows/test-z3.yml
@@ -17,6 +17,10 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4
 
+        # Removes ·git to prevent opam from checking out submodueles
+      - name: Remove .git
+        run: rm -rf .git
+
       - name: Setup OCaml 4.14
         uses: ocaml/setup-ocaml@v3
         with: