diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index 158bed7eaeb..c3a578317a1 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -6,10 +6,15 @@ on: pull_request: types: - opened + - synchonized - reopened branches: - 'main' +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} + cancel-in-progress: true + permissions: contents: read