diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 426b5b5c19..fd3922da0e 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -75,10 +75,14 @@ jobs:
           make -C ARC/docs html
         shell: micromamba-shell {0}
 
+      - name: List built docs
+        run: ls -R ARC/docs/build/html
+
+
       # ── deploy only on push ─────────────────────────────────────
       - name: Deploy to GitHub Pages
         if: github.event_name == 'push'
         uses: peaceiris/actions-gh-pages@v4
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./ARC/docs/_build/html/
+          publish_dir: ./ARC/docs/build/html/