From daf4dc201eb77bd1e52a0db941e249af87313712 Mon Sep 17 00:00:00 2001 From: Ian Li Date: Wed, 10 Sep 2025 06:42:35 -0700 Subject: [PATCH] add manual trigger and new paths --- .github/workflows/sycl-docs.yml | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/.github/workflows/sycl-docs.yml b/.github/workflows/sycl-docs.yml index 0adf0fd9fac9..e9d641c165c3 100644 --- a/.github/workflows/sycl-docs.yml +++ b/.github/workflows/sycl-docs.yml @@ -10,6 +10,7 @@ on: - '.github/workflows/sycl-docs.yml' - 'clang/docs/**' - 'sycl/doc/**' + - 'devops/benchmarks/scripts/html/**' push: branches: - sycl @@ -17,6 +18,16 @@ on: - '.github/workflows/sycl-docs.yml' - 'clang/docs/**' - 'sycl/doc/**' + - 'devops/benchmarks/scripts/html/**' + workflow_dispatch: + inputs: + update_gh_pages: + type: choice + description: Update Github Pages + options: + - true + - false + default: true permissions: contents: read @@ -62,5 +73,5 @@ jobs: with: path: ./install_docs - name: Deploy to GitHub Pages - if: ${{ github.event_name == 'push' }} + if: ${{ github.event_name == 'push' || inputs.update_gh_pages == 'true' }} uses: actions/deploy-pages@v4