diff --git a/.github/workflows/sycl-docs.yml b/.github/workflows/sycl-docs.yml index 0adf0fd9fac96..e9d641c165c3d 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