From 799bc56a2338121dfe8612c6a4381416fe58db23 Mon Sep 17 00:00:00 2001 From: Jon Sterling Date: Tue, 2 Jan 2024 16:52:59 +0000 Subject: [PATCH] ghpages: build erct --- .github/workflows/gh-pages.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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()