Remove .git

formalsec · Oct 24, 2024 · 29bce68 · 29bce68
1 parent 1f27769
commit 29bce68
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -33,10 +33,10 @@ jobs:
           submodules: false
           fetch-depth: 0
 
-      - name: Do not recurse submodules
-        run: |
-          git config --global submodule.active ''
-          git config --global submodule.recurse false
+      - name: Remove .git
+        run: rm -rf .git
+          # git config --global submodule.active ''
+          # git config --global submodule.recurse false
 
       - name: df after checkout
         run: df -h

diff --git a/.github/workflows/test-z3.yml b/.github/workflows/test-z3.yml
@@ -20,10 +20,10 @@ jobs:
           submodules: false
           fetch-depth: 0
 
-      - name: Do not recurse submodules
-        run: |
-          git config --global submodule.active ''
-          git config --global submodule.recurse false
+      - name: Remove .git
+        run: rm -rf .git
+          # git config --global submodule.active ''
+          # git config --global submodule.recurse false
 
       - name: Setup OCaml 4.14
         uses: ocaml/setup-ocaml@v3