diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index db9a5e25..eec923ce 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -14,15 +14,18 @@ permissions: pages: write id-token: write +# Allow only one concurrent deployment, skipping runs queued between any +# in-progress and latest queued runs. 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: build: name: Build Docs - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-20.04 steps: @@ -66,7 +69,7 @@ jobs: run: make -C docs dirhtml - name: Setup Pages - uses: actions/configure-pages@v3 + uses: actions/configure-pages@v5 - name: Upload Artifacts uses: actions/upload-pages-artifact@v3 @@ -74,10 +77,13 @@ jobs: path: 'docs/build/dirhtml' deploy: + + name: Deploy Docs + # Add a dependency on the build job needs: build - name: Deploy Docs + runs-on: ubuntu-latest environment: name: github-pages