Skip to content

Commit 71c254d

Browse files
authored
Website Fix (#797)
Sanity check that the files are there Changed from _build to build
2 parents dd40efb + bc8ca66 commit 71c254d

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

.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)