Skip to content

Commit aa0f832

Browse files
committed
Website Fix
Sanity check that the files are there Changed from _build to build Displays the complete list of built docs Removes the `head` command to display the full list of built documentation files instead of just the first few. This is helpful for debugging and ensuring all expected files are present.
1 parent dd40efb commit aa0f832

1 file changed

Lines changed: 5 additions & 1 deletion

File tree

.github/workflows/gh-pages.yml

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -75,10 +75,14 @@ jobs:
7575
make -C ARC/docs html
7676
shell: micromamba-shell {0}
7777

78+
- name: List built docs
79+
run: ls -R ARC/docs/build/html
80+
81+
7882
# ── deploy only on push ─────────────────────────────────────
7983
- name: Deploy to GitHub Pages
8084
if: github.event_name == 'push'
8185
uses: peaceiris/actions-gh-pages@v4
8286
with:
8387
github_token: ${{ secrets.GITHUB_TOKEN }}
84-
publish_dir: ./ARC/docs/_build/html/
88+
publish_dir: ./ARC/docs/build/html/

0 commit comments

Comments
 (0)