diff --git a/.github/workflows/pull.yml b/.github/workflows/pull.yml index 47ba389b1..0b8673f0f 100644 --- a/.github/workflows/pull.yml +++ b/.github/workflows/pull.yml @@ -8,6 +8,13 @@ permissions: on: pull_request: +# Concurrency control helps free up runners faster and speed up development. +# When new commits are pushed in PR, the previous workflow run is cancelled. +# If you want to not cancel previous workflow then remove this in you PR temporarily. Before merging to main add it back. +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true + jobs: getVersion: permissions: