diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index a855dd4074a..740a3530bd2 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -55,7 +55,7 @@ jobs: run: latex --version - name: Build with Forester - run: opam exec -- forester build --base-url="https://www.jonmsterling.com" --root=jms-0001 trees + run: opam exec -- forester build --base-url="https://www.jonmsterling.com" --root=jms-0001 erct/trees trees - name: Setup upterm session if: failure()