Remove .git directory to avoid opam fetching submodules in CI

formalsec · Oct 24, 2024 · 775952d · 775952d
1 parent 0ff5337
commit 775952d
Show file tree

Hide file tree

Showing 7 changed files with 28 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.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:

diff --git a/.github/workflows/deploy.yml b/.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:

diff --git a/.github/workflows/test-alt-ergo.yml b/.github/workflows/test-alt-ergo.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:

diff --git a/.github/workflows/test-bitwuzla.yml b/.github/workflows/test-bitwuzla.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:

diff --git a/.github/workflows/test-colibri2.yml b/.github/workflows/test-colibri2.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:

diff --git a/.github/workflows/test-cvc5.yml b/.github/workflows/test-cvc5.yml
@@ -18,6 +18,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:

diff --git a/.github/workflows/test-z3.yml b/.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: