diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ce46e14841..c172abb0ee 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -7,6 +7,10 @@ on: tags-ignore: - '**' +concurrency: + group: ${{ github.ref }} + cancel-in-progress: ${{ github.event_name == 'pull_request' }} + env: ### compiler options HOST: