Cancel running CI job if PR is updated.

Signed-off-by: Steffen Jaeckel <s@jaeckel.eu>

Author: sjaeckel

.github/workflows/main.yml

@@ -24,6 +24,10 @@ on:
       - /^support\/.*$/
       - /^ci\/.*$/
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   Docs:
     runs-on: ubuntu-20.04