Attempt to fix deploy CI

formalsec · Oct 28, 2024 · b1ed829 · b1ed829
1 parent 6130281
commit b1ed829
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -21,9 +21,8 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4
 
-        # Removes ·git to prevent opam from checking out submodueles
-      - name: Remove .git
-        run: rm -rf .git
+      - name: Save .git
+        run: mv .git /tmp/gitdir-smtml
 
       - name: Setup OCaml 4.14
         uses: ocaml/setup-ocaml@v3
@@ -41,6 +40,9 @@ jobs:
       - name: Build doc
         run: opam exec -- dune build @doc
 
+      - name: Restore .git
+        run: mv /tmp/gitdir-smtml .git
+
       - name: Coverage report
         run: |
           BISECT_FILE=`pwd`/bisect opam exec -- dune runtest --force --instrument-with bisect_ppx