diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index d12b6b8e744..3e09ef7cc09 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -9,6 +9,10 @@ permissions: pages: write id-token: write +concurrency: + group: ${{ github.workflow }} + cancel-in-progress: true + jobs: build_docs: name: Build Experimental Docs