From ac6cc31c70ccc199a0d7296269a5e7b297ddcb1c Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Wed, 23 Oct 2024 23:20:17 +0100
Subject: [PATCH] Remove .gitmodules

---
 .github/workflows/build.yml   | 3 +++
 .github/workflows/test-z3.yml | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 9136f67a..e8001126 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -30,6 +30,9 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4
 
+      - name: Remove .gitmodules
+        run: rm .gitmodules
+
       - name: df after checkout
         run: df -h
 
diff --git a/.github/workflows/test-z3.yml b/.github/workflows/test-z3.yml
index 7f8f7010..37da29e0 100644
--- a/.github/workflows/test-z3.yml
+++ b/.github/workflows/test-z3.yml
@@ -17,6 +17,9 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4
 
+      - name: Remove .gitmodules
+        run: rm .gitmodules
+
       - name: Setup OCaml 4.14
         uses: ocaml/setup-ocaml@v3
         with: