Fix CI

.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:

.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:

.github/workflows/test-alt-ergo.yml

@@ -1,22 +1,23 @@
 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
     steps:
       - 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:

.github/workflows/test-bitwuzla.yml

@@ -1,22 +1,23 @@
 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
     steps:
       - 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:

.github/workflows/test-colibri2.yml

@@ -1,22 +1,23 @@
 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
     steps:
       - 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:

.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:

.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: