From 8b630a28d0b492f73f7e5965f721eba4b4f312bb Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.dev>
Date: Mon, 1 Jul 2024 09:22:18 +0200
Subject: [PATCH] wip

---
 .github/workflows/gh_pages.yml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/gh_pages.yml b/.github/workflows/gh_pages.yml
index e0548ec84..0017e369a 100644
--- a/.github/workflows/gh_pages.yml
+++ b/.github/workflows/gh_pages.yml
@@ -47,16 +47,16 @@ jobs:
     steps:
     - uses: actions/checkout@v4
       with:
-        path: hax
+        path: ${{ github.workspace }}/hax
     - uses: actions/checkout@v4
       with:
         repository: "hacspec/hacspec.github.io"
-        path: hacspec.github.io
+        path: ${{ github.workspace }}/hacspec.github.io
         token: ${{secrets.PUSH_HACSPEC_GITHUB_TOKEN}}
     - uses: actions/checkout@v4
       with:
         repository: "hacspec/book"
-        path: book
+        path: ${{ github.workspace }}/book
         token: ${{secrets.PUSH_HACSPEC_GITHUB_TOKEN}}
 
     - uses: actions/checkout@v3
@@ -69,6 +69,9 @@ jobs:
 
     - name: Patch and push `README.md` in `hacspec.github.io`
       run: |
+        echo "DEBUG1:"
+        tree -L 2
+        echo "DEBUG1 END"
         (
           README_ORIGINAL="https://github.com/hacspec/hax/blob/main/README.md"
           echo "<!-- WARNING: a GitHub action periodically replaces this file with ${README_ORIGINAL}. Do not make any modification to this file, instead make a PR to ${README_ORIGINAL} -->"