diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 87658237a..43a02784d 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -11,13 +11,13 @@ permissions: pages: write id-token: write +concurrency: + group: "refman" + cancel-in-progress: false jobs: build: runs-on: ubuntu-latest - concurrency: - group: "refman" - cancel-in-progress: true steps: - name: Checkout @@ -72,9 +72,6 @@ jobs: runs-on: ubuntu-latest needs: build if: github.event_name == 'push' && github.ref == 'refs/heads/main' - concurrency: - group: "refman" - cancel-in-progress: false steps: - name: Download documentation (artifact)