diff --git a/.github/workflows/ghpages.yml b/.github/workflows/ghpages.yml index 9c517e02d..39a6ee285 100644 --- a/.github/workflows/ghpages.yml +++ b/.github/workflows/ghpages.yml @@ -11,17 +11,17 @@ name: Deploy docs to Pages # workflow_dispatch: on: push -# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages -permissions: - contents: read - pages: write - id-token: write +# # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages +# permissions: +# contents: read +# pages: write +# id-token: write -# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued. -# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete. -concurrency: - group: "pages" - cancel-in-progress: false +# # Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued. +# # However, do NOT cancel in-progress runs as we want to allow these production deployments to complete. +# concurrency: +# group: "pages" +# cancel-in-progress: false jobs: # Single deploy job since we're just deploying