Merge pull request #1206 from tobiasge/cancel-old-runs

Cancel workflow runs for in progress PRs

.github/workflows/push.yml

@@ -10,6 +10,10 @@ on:
     branches-ignore:
       - release
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   lint:
     runs-on: ubuntu-latest