debug

2026-05-21 10:51:25 +00:00
parent 25855133aa
commit 815d6d1239
1 changed files with 3 additions and 0 deletions
@@ -11,8 +11,11 @@ jobs:
    steps:
      - name: Checkout
        run: |
+          pwd
          git clone https://git.alocoq.fr/alois/CoqBlog.git .
+          ls themes/
          git submodule update --init --recursive
+          ls themes/PaperMod/

      - name: Install Hugo
        run: |