From 3973138cd96e11f75e1e911005393e213d8bb85a Mon Sep 17 00:00:00 2001 From: Dave Abrahams Date: Tue, 12 Nov 2024 11:24:09 -0800 Subject: [PATCH] Try building the index page first. --- .github/workflows/doc-extraction.yml | 21 +++++++++++---------- 1 file changed, 11 insertions(+), 10 deletions(-) diff --git a/.github/workflows/doc-extraction.yml b/.github/workflows/doc-extraction.yml index 8e5c500f3..b6e610e58 100644 --- a/.github/workflows/doc-extraction.yml +++ b/.github/workflows/doc-extraction.yml @@ -90,7 +90,7 @@ jobs: ) HYLO_ENABLE_DOC_GENERATION=1 " >> "${GITHUB_ENV}" - + - uses: actions/cache@v4 with: path: .build @@ -98,6 +98,16 @@ jobs: restore-keys: | ${{ runner.os }}-debug-spm- + - name: Generate Index Page + run: | + mkdir -p _site + Tools/gyb.py \ + --line-directive '' \ + -DROOT_URL="https://hylo-lang.org/${REPO_SANS_OWNER}" \ + -DEXTRACTION_TARGETS="${EXTRACTION_TARGETS}" \ + -DGITHUB_REPOSITORY="${GITHUB_REPOSITORY}" \ + Tools/doc-index.html.gyb -o _site/index.html + - name: Extract with DocC run: | export PKG_CONFIG_PATH @@ -131,15 +141,6 @@ jobs: --min-acl private done - - name: Generate Index Page - run: | - Tools/gyb.py \ - --line-directive '' \ - -DROOT_URL="https://hylo-lang.org/${REPO_SANS_OWNER}" \ - -DEXTRACTION_TARGETS="${EXTRACTION_TARGETS}" \ - -DGITHUB_REPOSITORY="${GITHUB_REPOSITORY}" \ - Tools/doc-index.html.gyb -o _site/index.html - - name: Setup Pages uses: actions/configure-pages@v5