corriger le workfolw

2026-05-21 09:20:35 +00:00
parent 28a663be16
commit 008a35c194
1 changed files with 2 additions and 4 deletions
@@ -10,10 +10,8 @@ jobs:
    runs-on: native
    steps:
      - name: Checkout
-        uses: actions/checkout@v4
+        run: |
-        with:
+          git clone --recurse-submodules https://git.alocoq.fr/alois/CoqBlog.git .
          submodules: recursive
      - name: Install Hugo
        run: |
          HUGO_VERSION=0.147.2