Remove .gitmodules

formalsec · Oct 23, 2024 · ac6cc31 · ac6cc31
1 parent de8cce8
commit ac6cc31
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git 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
@@ -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: