diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 9136f67a..611759ce 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -30,6 +30,16 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4
 
+      - name: Remove git submodules
+        run: |
+          git rm --cached ./bench/smt-comp
+          git rm --cached ./bench/smt-testcomp23
+          rm -rf ./bench/smt-comp
+          rm -rf ./bench/smt-testcomp23
+          rm -rf .git/modules/bench/smt-comp
+          rm -rf .git/modules/bench/smt-testcomp23
+          rm .gitmodules || true
+
       - name: df after checkout
         run: df -h
 
diff --git a/.github/workflows/test-z3.yml b/.github/workflows/test-z3.yml
index 7f8f7010..a989953e 100644
--- a/.github/workflows/test-z3.yml
+++ b/.github/workflows/test-z3.yml
@@ -17,6 +17,18 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4
 
+      - name: Remove git submodules
+        run: |
+          git rm --cached ./bench/smt-comp
+          git rm --cached ./bench/smt-testcomp23
+          rm -rf ./bench/smt-comp
+          rm -rf ./bench/smt-testcomp23
+          rm -rf .git/modules/bench/smt-comp
+          rm -rf .git/modules/bench/smt-testcomp23
+          rm .gitmodules || true
+          git add -u
+          git commit -m "Remove submodules"
+
       - name: Setup OCaml 4.14
         uses: ocaml/setup-ocaml@v3
         with: