diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 4105f3a3..9731ad7c 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -7,6 +7,12 @@ on: pull_request: workflow_dispatch: +concurrency: + # Skip intermediate builds: always. + # Cancel intermediate builds: only if it is a pull request build. + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }} + jobs: HTML: runs-on: ubuntu-latest