corriger le workfolw

checkout corrigé
2026-05-21 10:48:28 +00:00
parent d2aea94154
commit a1d252cc72
1 changed files with 2 additions and 1 deletions
@@ -11,7 +11,8 @@ jobs:
    steps:
      - name: Checkout
        run: |
-          git clone --recurse-submodules https://git.alocoq.fr/alois/CoqBlog.git .
+          git clone https://git.alocoq.fr/alois/CoqBlog.git .
+          git submodule update --init --recursive

      - name: Install Hugo
        run: |