wip

hacspec · Jul 1, 2024 · 7a7862e · 7a7862e
1 parent ca34877
commit 7a7862e
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.github/workflows/gh_pages.yml b/.github/workflows/gh_pages.yml
@@ -59,16 +59,18 @@ jobs:
         path: book
         token: ${{secrets.PUSH_HACSPEC_GITHUB_TOKEN}}
 
-    - uses: actions/checkout@v3
     - uses: DeterminateSystems/nix-installer-action@main
 
     - name: Configure git
       run: |
-        git config --local user.name "github-actions[bot]"
-        git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
+        git config --global user.name "github-actions[bot]"
+        git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
 
     - 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} -->"