.github: skip previous CI jobs on PR

Author: robertlong13

.github/workflows/pylint.yml

@@ -2,6 +2,10 @@ name: Pylint
 
 on: [push, pull_request]
 
+concurrency:
+  group: ci-${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   build:
     runs-on: ubuntu-latest

.github/workflows/python-publish.yml

@@ -9,6 +9,10 @@ on:
   release:
     types: [published]
 
+concurrency:
+  group: ci-${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   deploy:
 

.github/workflows/test.yml

@@ -1,9 +1,10 @@
 name: test pymavlink
 
 on: [push, pull_request]
-# paths:
-# - "*"
-# - "!README.md" <-- don't rebuild on doc change
+
+concurrency:
+  group: ci-${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
 
 jobs:
   build: