diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index bb02f7f..04072cf 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -4,12 +4,17 @@ on: push: branches: [main] tags: ["v*.*.*"] + workflow_dispatch: permissions: contents: read pages: write id-token: write +concurrency: + group: pages + cancel-in-progress: false + jobs: build: runs-on: ubuntu-latest