From d9539e75b633a51bbc62035de8a219e65b86f5a0 Mon Sep 17 00:00:00 2001 From: Eric Xiao Date: Mon, 8 Dec 2025 00:42:30 -0800 Subject: [PATCH 1/2] Fix images not being copied to doxygen generated site --- docs/Doxyfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/Doxyfile b/docs/Doxyfile index 8eee791208..4eb065a4ad 100644 --- a/docs/Doxyfile +++ b/docs/Doxyfile @@ -1002,7 +1002,7 @@ EXAMPLE_RECURSIVE = NO # that contain images that are to be included in the documentation (see the # \image command). -IMAGE_PATH = +IMAGE_PATH = . # The INPUT_FILTER tag can be used to specify a program that doxygen should # invoke to filter for each input file. Doxygen will invoke the filter program From 9234817d3746d77285034f2b90af9b515451cf37 Mon Sep 17 00:00:00 2001 From: Eric Xiao Date: Mon, 8 Dec 2025 00:43:50 -0800 Subject: [PATCH 2/2] Allow manual workflow trigger + formatting --- .github/workflows/build-doxygen.yml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/.github/workflows/build-doxygen.yml b/.github/workflows/build-doxygen.yml index 3c6fcf6daf..95a894201d 100644 --- a/.github/workflows/build-doxygen.yml +++ b/.github/workflows/build-doxygen.yml @@ -4,11 +4,10 @@ name: Deploy static content to Pages on: # Runs on pushes targeting the default branch pull_request: - branches: + branches: - master types: [closed] - # Allows you to run this workflow manually from the Actions tab workflow_dispatch: @@ -27,7 +26,6 @@ concurrency: jobs: # Single deploy job since we're just deploying deploy: - if: ${{ github.event.pull_request.merged }} environment: name: github-pages url: ${{ steps.deployment.outputs.page_url }} @@ -51,7 +49,7 @@ jobs: uses: actions/upload-pages-artifact@v3 with: # Upload entire repository - path: './docs/html' + path: "./docs/html" - name: Deploy to GitHub Pages id: deployment uses: actions/deploy-pages@v4