diff --git a/.github/workflows/pr-deployments.yaml b/.github/workflows/gh-pages.yaml similarity index 97% rename from .github/workflows/pr-deployments.yaml rename to .github/workflows/gh-pages.yaml index 43cf467cb..f343485b4 100644 --- a/.github/workflows/pr-deployments.yaml +++ b/.github/workflows/gh-pages.yaml @@ -5,6 +5,9 @@ on: name: Deploy PR on Github Pages +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + jobs: deploy: name: Build web version and deploy